additional arguments for unreal case
fixes reporting error when spec is realizable and env is ok
checking for rho3 transitions is not enough for falsification, need to check that there are no rho1 transitions