Initial validation of addAssertion patterns