sr$circusRefine.Tactic.Principal.TaticaPuL argumentostLjava/util/ArrayList;LidtLjava/lang/String;Lpathq~LtCompt/LcircusRefine/Tactic/Principal/TacticComponent;xpsrjava.util.ArrayListxaIsizexpw xtexpOutVarScopetbC:\Users\Madiel Filho\Desktop\CRefine2006\circus\tacticsArcAngelC\NBPhase\taticaExpOutVarScope.texsr*circusRefine.Tactic.Principal.TAppliesToDo .Lprogq~xr*circusRefine.Tactic.Principal.TaticaUnaria&Q=YLtacticq~xr-circusRefine.Tactic.Principal.TacticComponent'.dL argumentosq~Lnomeq~Ltaticaq~xppppsr#circusRefine.Tactic.Principal.TSemi((ixr+circusRefine.Tactic.Principal.TaticaBinaria. !Z aplicaDirZ aplicaEsqL taticLeftq~L taticRightq~xq~ pppsr%circusRefine.Tactic.Principal.TVarbox{\CAxxq~ pppsq~ pppsq~ pppsr&circusRefine.Tactic.Principal.TSemibox*u+Cxq~pppsr#circusRefine.Tactic.Principal.TSkip DISxq~ pppsq~ pppsr"circusRefine.Tactic.Principal.Tlawg۪zIlawxq~ sq~w xt var_exp_parpsq~sq~w xtSequence_Unit_part_1psq~sq~w xt var_exp_seqpsq~pppsq~pppsq~pppsq~sq~w xtSequence_Unit_Part_1psq~sq~w xt join_blocksptv ( circvar d : nat circspot A_In circseq ( ( circvar d_Out : nat circspot A_Out ) lpar ns_1 | cs | ns_2 rpar A_St ) )