Added some debugging prints.
More tests. Mainly contradiction.