Alloy Lazy A.TreeNodeIO