VarVarBind: add missing cleaning sub-calls

src/VarVarBind.ml

@@ -27,9 +27,9 @@ let rec clean_term map_env = function
             clean_value map_env value,
             clean_term map_env next)
 | S.LetVal (name, S.VVar subVar, next) ->
-        clean_term (Env.add name subVar map_env) next
+        clean_term (Env.add name (clean_var map_env subVar) map_env) next
 | S.LetVal (name, value, next) ->
-        S.LetVal (name, value, clean_term map_env next)
+        S.LetVal (name, clean_value map_env value, clean_term map_env next)
 | S.LetBlo (name, S.Con(tag, args), next) ->
         S.LetBlo(
             name,
@@ -48,7 +48,7 @@ let rec clean_term map_env = function
 and clean_branch map_env (S.Branch(tag, args, body)) =
     S.Branch(
         tag,
-        args,
+        List.map (clean_var map_env) args,
         clean_term map_env body)
 
 let clean_function (S.Fun(name, args, body)) =