Table cil_method_source_declaration

predicate cil_method_source_declaration(@cil_method method, @cil_method source)