Loop paramameters have a true predicate.