Refactor class in src
Refactor utility
Merge branch 'TestGroundingWithoutIdManagerForFact' of https://github.com/dave90/DlvGrounder1 into TestGroundingWithoutIdManagerForFact