Added tests for all operations on predicate