Created test UnfoldingIMDBTest for bug on unbound variable
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
Fixed bugs in DatalogNormalizer removing nested equalities
Merge branch 'develop' into bugfix/UnfoldingIMDBTest
Added comments and small fix
Merge branch 'bugfix/UnfoldingIMDBTest' into develop