Wrong arguments in the definition of cmp patterns