Conversion that in all cases returns the same pattern.
some_cc set a_pattern
Indicate the result of applying some_cc should be a_pattern
some_cc
a_pattern