import javascript

query predicate test_LineTerminators(Line l) { l.getTerminator() = "" }