Table cil_method_location

predicate cil_method_location(@cil_method id, @location loc)