implemented common_ancestor
restored Exception
Alphabet is not a Grammar