Coerce generic case conditions to predicates

Fixes #1818