let observed_vars=Hashtbl.create 1