Table cil_value

predicate cil_value(@cil_literal instruction, string value)