minor: test rename
WIP: new approach, explicit cycle/no-cycle IVar, but there's a problem
memoCyc: new version, this time with freeze