Add testing library
Add predicates and their tests.