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