add predicate test cases