let observed_vars        = Hashtbl.create 1