Table cil_newslot

predicate cil_newslot(@cil_method id)