fix a bug introduced while inlining the mechanical-bisimulation lemma