- Generalize function/if/loop bodies into a "Block" node to remove redundancy