import javascript

query predicate test_getGuard(CatchClause c, Expr res) { res = c.getGuard() }