Table cil_setter

predicate cil_setter(@cil_property prop, @cil_method method)