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