import javascript

query predicate test_FieldInits(FieldDefinition field, Expr res) { res = field.getInit() }