fix tied input-output equivalence checking