import javascript

query predicate test_EnhancedForDefault(EnhancedForLoop efl, Expr res) { res = efl.getDefault() }