docs: public static EquivalentFragmentSet isa(
              VarProperty varProperty, Variable instance, Variable type, boolean mayHaveEdgeInstances) {
          return new AutoValue_IsaFragmentSet(varProperty, instance, type, mayHaveEdgeInstances);
      }