Knot10.dfy(10,7): Error: To prevent the creation of non-terminating functions, storing functions with read effects into memory is disallowed
Knot10.dfy(15,7): Error: To prevent the creation of non-terminating functions, storing functions with read effects into memory is disallowed
2 resolution/type errors detected in Knot10.dfy
