IBAaddTransparentStateTest added.
IncompleteBuchiAutomatonConstructorTest renamed in IBAconstructorTest
IBAaddTransparenStateTest added