Mark linearity of nodes in preparation for pruning the tree
Completed pruning of linear and constant terms from non-linear tree. Now solvable .nl files are created