public List<Literal> getTail()
{
if (0 == literals.Count)
{
return _emptyLiteralsList;
}
return new ReadOnlyCollection<Literal>(literals.Skip(1).ToList<Literal>()).ToList<Literal>();
}
// 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; }