Table cil_handler_type

predicate cil_handler_type(@cil_handler id, @cil_type catch_type)