let add_var_value (name0 : string) (value : string) (name : string) (var : string) : unit =
        let value_aux =         if((is_a_var value))
                                then (get_value_of_var name0 value)
                                 else value in
        if((get_value_of_var name var)<>value_aux)
        then(
                let var_aux = get_name_of_var var in
                let name_aux = (name,var_aux) in
                 add_in_variable_change name_aux;
                local_variable_change:= name_aux::(!local_variable_change);
                (Hashtbl.add var_value name_aux value_aux);
                if((get_type var_aux)=""then Hashtbl.add role_signature value_aux [(get_type var_aux)];
        )