Universe inconsistency in the proof of bisim ! :(