anchor.diff:          %     estree:block_statement(
           %         encapsulateExpressions(
           %             listCheck(
  -        %                 parseFunctionBody(return,tupleList_getVars_3(ParamNames),Body)
  +        %                 parseNode(return,tupleList_getVars_3(ParamNames),Body)
           %             )
           %         )
           %     ),
           %     true
           % ),
  -        parseFunctionBody(ReturnAtom,Params,Apply)
  -    );
  -
  -
  -parseFunctionBody(ReturnAtom,Params,{c_case, _, {c_var,_,Var}, Clauses})->
  -    parseFunctionBody(ReturnAtom,Params,{c_case, a, {c_values,a,[{c_var,a,Var}]}, Clauses});
  -
  -parseFunctionBody(ReturnAtom,Params,{c_case, _, {c_values,_,Vars}, Clauses})->
  +        parseNode(ReturnAtom,Params,Apply)
  +    ).
  +
  +
  +parseCase(ReturnAtom,Params,{c_case, _, {c_var,_,Var}, Clauses})->
  +    parseCase(ReturnAtom,Params,{c_case, a, {c_values,a,[{c_var,a,Var}]}, Clauses});
  +
  +parseCase(ReturnAtom,Params,{c_case, _, {c_values,_,Vars}, Clauses})->
       {UnboundVars,CaseClauses} = parseCaseClauses(ReturnAtom,Params, Vars, Clauses),
       case UnboundVars of
           [] -> CaseClauses;
  
positive.code: 
  %Parse the function body
  
  parseFunctionBody(return,Params,{c_call, A, {B, C, Module}, {D, E, FunctionName}, Parameters})->
      estree:return_statement(parseFunctionBody(noreturn,Params,{c_call, A, {B, C, Module}, {D, E, FunctionName}, Parameters}));
  
  
  
  
negative.code:             FuncCall
          )],<<"let">>),
          %Continue as normal, passing the temp variable
          parseCase(ReturnAtom,Params,{c_case, [], {c_var,[],'_tempVar'}, Clauses})
      ).
  
  
  
  parseConsChain(noreturn,Params,{c_cons,[],A,{c_cons,_,C,D}})->
      [parseNode(noreturn,Params,A)|parseConsChain(noreturn,Params,{c_cons,[],C,D})];
  parseConsChain(noreturn,Params,{c_cons,[],A,B})->
      [parseNode(noreturn,Params,A),parseNode(noreturn,Params,B)].
  
  
  
  