--bo-debug [n]
If n is

• 0: print alarm report [default]
• 1: print each procedural summary and alarm report with short symbol names
• 2: all input-output states during the analysis with long symbol names