Print states ordered removed
Refactoring: Buchi tests renamed
Method getConstraint moved from IntersectionAutomaton to Brzozowski
IntersectionAutomaton, Javadoc updated
IntersectionAutomaton javadoc updated