import javascript

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