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