(** Removes var-var bindings, eg. let x = y in e, where x and y are vars *)
val clean_var_var_bind: Top.program -> Top.program