A better positioning of implicit subsumption

Just before Simplifier's simplify()
Removing misleading comment
Removing irred TRI should work, too
Fixing regression test
Better config file