Table cil_instruction_location

predicate cil_instruction_location(@cil_instruction id, @location loc)