check_preserve_smcrm = (enumerate . collapse . smcrm 1 2 1) sprinkler ~==
                        enumerate sprinkler
check_preserve_smcrm = (enumerate . collapse . smcrm 1 2 1) sprinkler ~==
                        enumerate sprinkler
check_preserve_smcrm = (enumerate . collapse . smcrm 1 2 1) sprinkler ~==
                        enumerate sprinkler