...

...

"SIGOURE" == SIGOURE Benoit <sigoure.benoit@lrde.epita.fr> writes:

cannot-redefine-static-const(|idf) = !idf => Identifier(idf')

cannot-redefine-formula(|idf) = !idf => Identifier(idf')

+ + cannot-redefine-parameterized-formula(|idf) = + !idf => Identifier(idf')

Shouldn't you introduce string-from-identifier? Or identifier-to-string, I don't know if there is a name convention.