anchor.diff:                  )
               )
           ),
  -        parseCaseClauses(ReturnAtom,Params, Vars, Clauses)%alternate
  -    ).
  +        ElseClausesActual %alternate
  +    )}.
   
   assembleCaseCondition(Params,_,[],Evaluate)->
       parseFunctionBody(noreturn,Params,Evaluate);
  
positive.code:         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("",[]);
      
  % Is apply a local function call? Assignment from function? Assignment with pattern matching?
  parseFunctionBody(return,Params,{c_apply, _, {_,_,{_FName,_Arity}}, _Params})->
  
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)->
  