Table cil_base_interface

predicate cil_base_interface(@cil_type id, @cil_type base)