HomeIsabelle/Phabricator

fix(Regex_Equivalence) update to new SpecCheck version