@Override
    public @NotNull DfType meet(@NotNull DfType other) {
      if (other == TOP) return this;
      if (other instanceof DfBooleanType) return other;
      return BOTTOM;
    }
@Override
    public @NotNull DfType meet(@NotNull DfType other)