A P red icate Transformer for U nification