Serialization of predicates

Fixes #1062
Ah, you're right, and that's fine.