Table cil_implements

predicate cil_implements(@cil_method id, @cil_method decl)