View Source Finitomata.TestSyntaxError exception (Finitomata v0.29.4)