hasAssertion accepts both types