public ProofStepChainFromClause(Chain chain, Clause fromClause) { this.chain = chain; this.fromClause = fromClause; this.predecessors.Add(fromClause.getProofStep()); }