Knot16.dfy(12,11): Error: To prevent the creation of non-terminating functions, storing functions into an object's fields that reads the object is disallowed
1 resolution/type errors detected in Knot16.dfy
