* [IIMB,EXT] Added deduction option for the IIMB experiments.
* [IOTW_EXPORT,DEB] Added debug mode that writes the identity hierarchy to PDF as well.
* [IOTW-INODES,EXT] Adding shared properties (besides shared predicates). IMR!