let observe f = f () ~var_count:0 |> Tree.to_dot