check_preserve_ismh = (enumerate . collapse . ismh 1 2) sprinkler ~==
                      enumerate sprinkler
check_preserve_ismh = (enumerate . collapse . ismh 1 2) sprinkler ~==
                      enumerate sprinkler
check_preserve_ismh = (enumerate . collapse . ismh 1 2) sprinkler ~==
                      enumerate sprinkler