[WIP] suggestion for #114. Also: incomplete patch (do not merge)
Hello,
This is a suggestion patch to avoid the general problem of unusable names created by concatenation with an infix (for example): I'd like to forbid this behavior. This patch also pollutes Ident and most of the code of Why3 hence this discussion.