ConsCell output = new ConsCell();
input = removeExcessParentheses(input);
ConsCell current = input;
do { //Recursion
if (current.getCarType() == ConsType.CONS_CELL)
current.replaceCar(simplifyTerms((ConsCell) current.getCar()));
} while (!((current = current.getNextConsCell()).isNull()));
ArrayList<ConsCell> terms = foldSigns(getTerms(input));
ArrayList<PairedList<ConsCell, ConsCell>> orders = new ArrayList<PairedList<ConsCell, ConsCell>>();
ArrayList<String> vars = parser.getVars();