import javascript

query predicate test_getBodyStmt(Function f, int i, Stmt res) { res = f.getBodyStmt(i) }