(Xronos) NewLimGen, Loop and branch might have a Exprvar as value
condition