Created test UnfoldingIMDBTest for bug on unbound variable
fresh branch commit
Modified TMapping Processor not to add a new mapping from 2 mappings with equal conditions
Execute enforce equialities of DatalogNormalizer in Quest
removed test UnfoldingIMDBTest
Added test, consider the case of AND to eliminate equiality in DatalogNormalizer
cleaning Repository
cleaned Repository
cleaned QueryRewriter
cleaned QueryRewriter
cleaned EquivalenceTBoxOptimizer
factored out QuestUnfolder from Quest
cleaner QuestUnfolder
cleaner QuestUnfolder
Fixed bugs in DatalogNormalizer removing nested equalities
Merge branch 'develop' into bugfix/UnfoldingIMDBTest
factored out EquivalenceMap
Added comments and small fix
Merge branch 'bugfix/UnfoldingIMDBTest' into develop
EquivalenceTBoxOptimizer simplified