Class FunctionWithTreeSymbolicValue