[ Issue 1380 ] Fixed by keeping track of original dot patterns
in the translation of patterns to mpatterns.