check_preserve_smc = (enumerate . collapse . smc 2 2) sprinkler ~==
                      enumerate sprinkler
check_preserve_smc = (enumerate . collapse . smc 2 2) sprinkler ~==
                      enumerate sprinkler
check_preserve_smc = (enumerate . collapse . smc 2 2) sprinkler ~==
                      enumerate sprinkler