let operations_affectation_treatment (name : string) (state : string) : unit =
        let rec affect a =
                match a with [] -> true
                        |(x::ls) ->         let d = decompose x in
                                        if(d<>[] && ((List.length d)>2))
                                        then(        
                                                let arg1 = (cadr d) in
                                                let arg2 = (caddr d) in
                                                if((is_a_var arg2) && not (is_a_test_var arg2) && (car d)="cons"then(
                                                        add_in_aggregation name arg1 name arg2
                                                )
                                                else if((is_a_var arg2) && not (is_a_test_var arg2) && (car d)="delete"then(
                                                        delete_in_aggregation name arg1 name arg2
                                                );
                                                affect ls;
                                        )
                                        else (affect ls);
        in
        match (find_operation_of_state name state) with ((_,ga),(_,da)) -> ignore((affect ga) && (affect da))