Commit 2022-12-16 04:08 f976b5e6

fix: two to_additive changes (#1057)

• Put configuration options of to_additive before other arguments
• Generate equation lemmas and insert them in the dictionary even when the additive declaration already exists.