fixed whitification bisimulation relation