BDDBUTreeAut: optimize: change OrdVector to std::set (FUCKS UP EVERYTHING ELSE)