sr$circusRefine.Tactic.Principal.TaticaPuL argumentostLjava/util/ArrayList;LidtLjava/lang/String;Lpathq~LtCompt/LcircusRefine/Tactic/Principal/TacticComponent;xpsrjava.util.ArrayListxaIsizexpw xt applyLawstUC:\Users\Madiel Filho\Desktop\CVS1511\circus\tacticsArcAngelC\caseStudy\applyLaws.texsr#circusRefine.Tactic.Principal.TSemi((ixr+circusRefine.Tactic.Principal.TaticaBinaria. !Z aplicaDirZ aplicaEsqL taticLeftq~L taticRightq~xr-circusRefine.Tactic.Principal.TacticComponent'.dL argumentosq~Lnomeq~Ltaticaq~xppppsq~ pppsr"circusRefine.Tactic.Principal.Tlawg۪zIlawxq~ sq~w xt copy_rulepsq~sq~w xt Normalizepsq~sq~w xtTransform_Predicatep