Update some logical relation proofs
Instance arguments changed...
updates