anchor.diff:          parseFunctionBody(noreturn,Params,B));
   
   
  -
  -parseFunctionBody(return,Params,{c_let, _, [{_, _, _Variable}], _A, _B})->
  -    %io:format("        Let statement: ~s~n", [Variable]),
  -    %parseFunctionBody(A),
  -    %parseFunctionBody(B);
  -    io:format("",[]);
  +% A let statement is the core representation of implicit variable declarations (the result of some function as an argument of another function
  +parseFunctionBody(return,Params,{c_let, _, [{_, _, Variable}], Value, UsedBy})->
  +    assembleSequence(
  +        esast:variableDeclaration([esast:variableDeclarator(esast:identifier(atom_to_binary(Variable,utf8)),parseFunctionBody(noreturn,Params,Value))],<<"let">>),
  +        parseFunctionBody(noreturn,Params,UsedBy));
  +parseFunctionBody(return,Params,{c_let, _})->
  +    meepMeep;
  +parseFunctionBody(return,Params,{c_let, _,_})->
  +    meepMeep;
  +parseFunctionBody(return,Params,{c_let, _,_,_})->
  +    meepMeep;
  +parseFunctionBody(return,Params,{c_let, _,_,_,_})->
  +    meepMeep;
  +parseFunctionBody(return,Params,{c_let, _,_,_,_,_})->
  +    meepMeep;
  +parseFunctionBody(return,Params,{c_let, _,_,_,_,_,_})->
  +    meepMeep;
       
   % Is apply a local function call? Assignment from function? Assignment with pattern matching?
   parseFunctionBody(return,Params,{c_apply, _, {_,_,{_FName,_Arity}}, _Params})->
  
positive.code:     %io:format("~p)~n", [tupleList_getVars_3(Params)]);
      io:format("",[]);
  
  parseFunctionBody(return,Params,{c_apply, _, _A, _B})->
      %io:format("        Apply statement: ~n");
      io:format("",[]);
      
  parseFunctionBody(return,Params,{c_literal,_,Value})->
      esast:returnStatement(parseFunctionBody(noreturn,Params,{c_literal,[],Value}));
  
negative.code:     parseFunctionBody(ReturnAtom,Params,{c_case, a, {c_values,a,[{c_var,a,Var}]}, Clauses});
  
  parseFunctionBody(ReturnAtom,Params,{c_case, _, {c_values,_,Vars}, Clauses})->
      {UnboundVars,CaseClauses} = parseCaseClauses(ReturnAtom,Params, Vars, Clauses),
      case UnboundVars of
          [] -> CaseClauses;
          _  -> assembleSequence(esast:variableDeclaration(UnboundVars,<<"let">>),CaseClauses)
      end;
  
  
  parseFunctionBody(_,Params,T)->
  