Extraction of identifiers that start with underscore
The why3 identifiers that start with underscore should be extracted to identifiers starting with underscore as well, instead of something starting with "us"
That would prevent warnings "unused identifier ..." during OCaml compilation.