Debug Options

• Enabled: globally enabled/disable debugs.
• Unnamed Debugs: debug clauses without a name
• Named Debugs: if the system is compiled, an entry for each name in a debug appears and can be enabled/disabled.