Fix predicate reevaluation after RETURN