// Returns c if no dropping occurred
private Chain tryDropping(Chain c) {
Literal head = c.getHead();
if (null != head && (head instanceof ReducedLiteral)) {
Chain dropped = new Chain(c.getTail());
dropped.setProofStep(new ProofStepChainDropped(dropped, c));
return dropped;
}
return c;
}