public static boolean expressionsAreEquivalent(@NotNull UExpression expr1, @NotNull UExpression expr2) {
    return normalize(expr1).equals(normalize(expr2));
  }
public static boolean expressionsAreEquivalent(@NotNull UExpression expr1, @NotNull UExpression expr2)