v8.4: Fixing #3892: Ensure that notation variables do not capture names
hidden behind another notation.