Improve checkEssentialInBranch: only split when coef of higher term is either zero or not.