Fixed point between range analysis and ternary analysis

The results of the ternary analysis can help a range analysis be more precise, and the results of the range analysis can help a ternary analysis be more precise, so we should put these in a fixed point loop to extract maximum precision, assuming the computational cost is not excessive.