1 2 3 4 5 6
/* Tatica removeSeqComp */\tbegin\ttactic removeSeqComp () \def \ttactic TRY(\tlaw Sequence_Unit_part_2()) \tsemi \ttactic TRY(\tlaw Sequence_Unit_part_1())\tend