Export common predicates as asserts for testing