Indeed, the generated oracle and daemons were not syntactically correct in such cases, e.g., if an action was named "I(p)".