ExplicitTreeAut: change assert(false) to an exception