WIP
WIP
Ignore trivial predicates