Removing loop argument predicate.