import javascript

query predicate test_next_token(Comment c, Token res) { res = c.getNextToken() }