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