import javascript

query predicate test_getVariable(Function f) { exists(f.getVariable()) }