Adding test cases for SubClassOf with existentials and OPEs.

Renaming existing test case to have a consistent pattern
More (failing) tests
more tests