Voted 'yes' because I do have lots of code using ~, but I think it would be very easy to get rid of all those ~ notations quickly and painlessly.
We have put the syntax_updater tool in the EiffelStudio delivery to help.
Thank you very much. That tool works very well. Fast and accurate.