public static bool compareNfaToRegex(XElement regex, XElement alphabet, XElement attemptNfa)
{
CharSetSolver solver = new CharSetSolver(BitWidth.BV64);
var dfaCorrectPair = DFAUtilities.parseRegexFromXML(regex, alphabet, solver);
var attempt = DFAUtilities.parseBlockFromXML(attemptNfa, alphabet, solver);
var same = dfaCorrectPair.Second.IsEquivalentWith(attempt.Second, solver);
return(same);
}