backend_op=/noLoopPredicateInvariants
