Missing consistency check for function identifiers

[fpoli]

The AST of a program containing a top-level function with a quote (') in its name passes the consistency checks. However, the dump of the program is rejected by the Viper parser.

The dump looks like this:

domain MyDomain {}
function something$'_$something(x: MyDomain): MyDomain