import javascript

query predicate test_Containers(Stmt s, StmtContainer res) { res = s.getContainer() }