Member predicate Make::State::hasLocationInfo

Holds if the term represented by this state is found at the specified location offsets.

predicate hasLocationInfo(string file, int line, int column, int endline, int endcolumn)