[SCEV] Improve loop guard tests (NFC)

Invert the branch order to make the predicate more obvious.
Add tests with two predicates, to show that rewrites are
combined.