created unit tests for logic predicates on top of jipda