public ProofStepRenaming(Object proof, ProofStep predecessor) { this.proof = proof; this.predecessors.Add(predecessor); }