@Override
    public @NotNull DfType getDfType(@Nullable DfaVariableValue qualifier) {
      if (qualifier == null) return DfType.TOP;
      TypeConstraint constraint = TypeConstraint.fromDfType(qualifier.getDfType());
      return constraint.getUnboxedType();
    }
@Override
    public @NotNull DfType getDfType(@Nullable DfaVariableValue qualifier)