import javascript

query predicate test_NumCatchClauses(TryStmt ts, int res) { res = ts.getNumCatchClause() }