sys_core_fold generates invalid Core Erlang

pattern_list.erl

Module =
{c_module,[],
          {c_literal,[],cerl_eval0},
          [{c_var,[],{eval,0}},
           {c_var,[],{module_info,0}},
           {c_var,[],{module_info,1}}],
          [{{c_literal,[],clojure},{c_literal,[],true}}],
          [{{c_var,[],{eval,0}},
            {c_fun,[],[],
                   {c_case,[1,{file,[]}],
                           {c_literal,[1,{file,[]}],[1,2,3,4]},
                           [{c_clause,[1,{file,[]}],
                                      [{c_literal,[1,{file,[]}],[1,2,3]}],
                                      {c_literal,[],true},
                                      {c_literal,[1,{file,[]}],undefined}}]}}},
           {{c_var,[],{module_info,0}},
            {c_fun,[],[],
                   {c_call,[],
                           {c_literal,[],erlang},
                           {c_literal,[],get_module_info},
                           [{c_literal,[],cerl_eval0}]}}},
           {{c_var,[],{module_info,1}},
            {c_fun,[],
                   [{c_var,[],x}],
                   {c_call,[],
                           {c_literal,[],erlang},
                           {c_literal,[],get_module_info},
                           [{c_literal,[],cerl_eval0},{c_var,[],x}]}}}]}.
%% This call results in an error 
compile:noenv_forms(Module, [clint, from_core, return_errors]).
%% This returns the Core Erlang code generated after the constast folding optimization for Core (sys_core_fold). 
compile:noenv_forms(Module, [clint, from_core, return_errors, dcorefold]).