Assertion versions that use predicate formatters

Also removed "helpful" comments as to predicate format, which weren't helpful