check_preserve_smh = (enumerate . collapse . smh 2 2) sprinkler ~==
                      enumerate sprinkler
check_preserve_smh = (enumerate . collapse . smh 2 2) sprinkler ~==
                      enumerate sprinkler
check_preserve_smh = (enumerate . collapse . smh 2 2) sprinkler ~==
                      enumerate sprinkler