public override List<ProofStep> getPredecessorSteps() { return new ReadOnlyCollection<ProofStep>(predecessors).ToList<ProofStep>(); }