code: public static EquivalentFragmentSet sub(VarProperty varProperty, Variable subType, Variable superType, boolean explicitSub) {
          return new AutoValue_SubFragmentSet(varProperty, subType, superType, explicitSub);
      }
docs: An {@link EquivalentFragmentSet} that indicates a variable is a sub-type of another variable.