Table cil_access

predicate cil_access(@cil_instruction instruction, @cil_accessible target)