Predicate InconsistentLoopOrientation::bounds

Holds if test bounds v in direction, which is either "upward" or "downward".

For example, x < 42 bounds x upward, while y >= 0 bounds y downward.

predicate bounds(RelationalComparison test, Variable v, string direction)