Constructing non-trivial tests for CPM.