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))