Member predicate Files::File::hasLocationInfo

predicate hasLocationInfo(string filepath, int bl, int bc, int el, int ec)