import javascript

query predicate test_RouteHandler(Connect::RouteHandler rh, Expr res) { res = rh.getServer() }