Found one more place that treats underscores incorrectly.

The Fix menu item, which shows up when you right click on the Description
in the Inspector Eiffel window (e.g., a "Feature never called" rule violation,
which can be fixed automatically), does not treat underscores in the
feature name correctly.