translation.simplifying

• name: simplifying
• description: Simplify flow graphs
• command-line: –translation-simplifying
• command-line for negation: –no-translation-simplifying
• option type: boolean option
• default: True

Internal option.