Table cil_pointer_type

predicate cil_pointer_type(@cil_pointer_type id, @cil_type pointee)