WIP: refactor in Memo2 to try tracking full reachability
WIP: draft solution that works for mem02 and mem03 tests... I think I see a problem still
This is a more conservative approach that checks for cycles more often