Member predicate Locations::Location::endsAfter

Holds if this location ends after location that.

predicate endsAfter(Location that)