public void DeleteLiteral(Literal literal) { int index; while ((index = getLiteralIndex(literal)) >= 0) { Literals.RemoveAt(index); } }