Fix addRule increment support
Merge branch 'TestGroundingWithoutIdManagerForFact' of https://github.com/dave90/DlvGrounder1 into TestGroundingWithoutIdManagerForFact