Member predicate AbstractInstance::hasLocationInfo
Holds if this element is at the specified location.
The location spans column startcolumn of line startline to
column endcolumn of line endline in file f.
For more information, see
Locations.