matcher->pretty-string
Detail in matcher-erase-path cofinite situation.