Table cil_virtual

predicate cil_virtual(@cil_method id)