changed fraction constraints on denominator
reorganizing code in eqn_solver
removed unneeded predicate (canGrowTreeFromNode)