start with formulaTree parsing