Reduce and specify behavior of matcher compiler