Add some more unit tests for the `predicate_property/2` built-in method