Use "inequivalentct?" in failing examples
Better printing of worlds
Cosmetic changes in output
Add knows_equationalize in seed computation