+ void computeEncodingValue();
+ void computeComparisons();
+ void computeEqualities();
+ void solveComparisons();
+ void solveEquals();
+ void generateComparison(EncodingNode *left, EncodingNode *right);
+ void generateEquals(EncodingNode *left, EncodingNode *right);
+ void orderEV(EncodingValue *smaller, EncodingValue *larger);