Add space in TermIndexAtom
Merge branch 'master' of local repository into TestGroundingWithoutIdManagerForFact
Merge branch 'TestGroundingWithoutIdManagerForFact' of https://github.com/dave90/DlvGrounder1.git into TestGroundingWithoutIdManagerForFact