let apply_sigma (env:env) sigma closure =
    try
      let k_label = M.label_at_closure closure in
      let c_label = List.assoc k_label sigma in
      SvalueM.userdef_closure (M.mem_at env.frame c_label) closure )
    with Not_found ->
      Sclosure closure