Table catch_type

predicate catch_type(@catch catch_id, @type_or_ref type_id, int kind)