// Date:  1.6.2011
// Author: heizmann@informatik.uni-freiburg.de
//
// Reveals bug in revision 3767.
// Acceptance test says [a c] is accepted which is wrong.

parseAutomata("../../Se7en.ats");

assert(!accepts(se7en, [a c]));