Legacy lexicon 2.4
New IOTA handling (separated to pre- and post- injection of implications)
Fixed subsumptions definitions in TestCreator
Updated test suit
Merging to master
Prints refinement