/* Tactic: isolateInitBin*/

\tbegin
\ttactic isolateInitBin()  \def

  (\ttactic insertSeqComp() \parallelbox \ttactic insertSeqComp()) \tsemi 
   \ttactic isolateSeqActions() \tsemi (\ttactic removeSeqComp() \semibox \tskip)

\tend


