make sure redex-match? does the duplicate non-terminals check

closes PR 14290