isNotEmpty method updated
IsEmptyTestAdded the tests aims to check if the empty method work
correctly
add the comments to the BuchiAutomatonIsEmptyTest