Member predicate Location::Location::isBefore

Holds if this comes on a line strictly before l.

predicate isBefore(Location l)