Rename Pact to Pact_proposition