The `[$]` pattern was used in an ambiguous way; there where multiple
hypotheses that could be used, and for some reason a different is
picked now.