/* Tatica NBMain */

\tbegin
\ttactic NBMain()  \def

  \ttactic insertSeqComp() 
  \tsemi (\tskip \semibox \mubox ((\ttactic NBStep2() tsemi \ttactic NBStep3()	
                                 \tsemi \varbox (\ttactic NBStep4() \tsemi \ttactic NBStep5_6())) \semibox \tskip))
								
\tsemi \ttactic NBStep7()  \tsemi \varbox \ttactic removeSeqComp() 
                                 



\tend