To force that, I've changed the Register interface (and thus GenRegister) The rationale is that: - in lurette mode, they should be the same for all algos already - in batch mode, action declarations are ignored anyway (except in custom mode)
Indeed, the generated oracle and daemons were not syntactically correct in such cases, e.g., if an action was named "I(p)".