Invoking command line:
bsc -i BLUESPECDIR -print-flags -suppress-warnings G0001:G0002 -suppress-warnings NONE -suppress-warnings T1234:T0001 -suppress-warnings T0002:T0003:T0001

Flags:
     -i   BLUESPECDIR
     -lift
     -o   a.out
     -parallel-sim-link   1
     -print-flags
     -remove-empty-rules
     -remove-false-rules
     -reset-prefix   RST_N
     -resource-off
     -sat-yices
     -show-compiles
     -show-timestamps
     -show-version
     -steps   1000000
     -steps-max-intervals   10
     -steps-warn-interval   100000
     -suppress-warnings   T1234:T0001:T0002:T0003
     -unspecified-to   A
     -warn-action-shadowing
     -warn-method-urgency