function rank(op) {
    op.rank = ++this._rank;
  }
Assigns a rank to an operator. Ranks are assigned in increasing order
by incrementing an internal rank counter.
@param {Operator} op - The operator to assign a rank.