EquivalentClasses now completely supported
more verbose output for executable