Take LOOP semantics into account.