Class Assertion with complex class expressions
Disjoint Object Properties Added