Allow LLE/LD and the loop versioning infrastructure to use SCEV predicates