added test to see if our weak bisimulation fails(it does, this need to be fixed)