Table exit_endpoint

predicate exit_endpoint(@exit id, int idx, string endpoint)