First concept of short-circuit simplification. The `isEqual` operator between ASTNodes is very limited (it does only check if two nodes originate from the same `BasicBlock` in the original IR.
Import the RestructureCFGPass from the `feature/the-comb` branch on the `revamb` repository.
Andrea Gussoni