public void setVariableOrdering(@Nullable Comparator<? super Variable> comparator) {
    myVariableComparator = comparator;
  }
public void setVariableOrdering(@Nullable Comparator<? super Variable> comparator)