public Expression rewrite(Expression expression, Set<Symbol> scope) {
    return rewrite(expression, scope::contains, true);
  }
Attempts to rewrite an Expression in terms of the symbols allowed by the symbol scope given the
known equalities. Returns null if unsuccessful.
iotdb-core/datanode/src/main/java/org/apache/iotdb/db/queryengine/plan/relational/planner/EqualityInference.java