Adding predicates.
Adding has asserts