Clarify comments in CREATE-MATCHER-AUX method specialized over registers.