Added niceness adjustment for invariant generation