added test for new statement collections with parameterized equality
added more testing to track down reasoner bugs
more justification testing