(* | Assign (var, expr) ->
                        Lambda.Application(
                            Lambda.Application(
                                Lambda.Application(Lambda_trees.set,
                                    (abstractionState expr state map)
                                ), (getNumber var map)
                            ), state
                         ) *)