In LoopErasedWalk example, the green color seems redundant, and rule 2 and 3 could be merged. Is there any reason why you use green color?