Merge pull request #183 from chsticksel/inv-gen

Added niceness adjustment for invariant generation