Test common theory predicates

Test whether the common theory predicates

• work,
• conform to type expectations, and
• are semi-deterministic, deterministic or non-deterministic as expected.