if(ret == null) ret = node.createNodeMemory(state); memory.put(node, ret);
if(ret == null) ret = node.createNodeMemory(state); memory.put(node, ret);
if(ret == null) ret = node.createNodeMemory(state); memory.put(node, ret);
if(ret == null) ret = node.createNodeMemory(state); memory.put(node, ret);