Extract several predicates for removing duplication
Uncomment examples for reporting pending examples and example groups