ASTI: guard variable access

Author: sipma

chb/astinterface/ASTInterfaceFunction.py

@@ -405,7 +405,7 @@ def set_return_sequences(self) -> None:
                     else:
                         originalLR = False
                         for inv in instr.invariants:
-                            if str(inv.variable) == "LR" and inv.is_initial_var_equality:
+                            if inv.is_initial_var_equality and str(inv.variable) == "LR":
                                 originalLR = True
                                 break