3053       NOT_PRODUCT(_tracer.offset_plus_k_9(n, _invar, _negate_invar, _offset);)

  3053       NOT_PRODUCT(_tracer.offset_plus_k_9(n, _invar, _negate_invar, _offset);)

  3054       return true;

  3054       return true;

  3055     }

  3055     }

  3056   }

  3056   }

  3057   if (invariant(n)) {

  3057   if (invariant(n)) {

  3058     _negate_invar = negate;

  3061     _negate_invar = negate;

  3059     _invar = n;

  3062     _invar = n;

  3060     NOT_PRODUCT(_tracer.offset_plus_k_10(n, _invar, _negate_invar, _offset);)

  3063     NOT_PRODUCT(_tracer.offset_plus_k_10(n, _invar, _negate_invar, _offset);)

  3061     return true;

  3064     return true;

  3062   }

  3065   }