Gets the number of operators numbered so far in the running rewrite; 0 outside a rewrite.
public int OperatorCount { get; }