import javascript

query predicate test_SemicolonInsertion(Stmt s) { s.hasSemicolonInserted() }