Stubbing predicates. Fixes #20.