a new patch, solving names issue for why3
avoiding "___" ......
though we go forward ... unbelievely slowly though