Documentation

RegexCorrectness.Backtracker.Refinement