anchor.diff:  	    end;
   	_ -> false
       end.
  +
  +check_expr_list_minus_last_expr(FoldFunBodyExprList, CurExprList, SubExprs) ->
  +    LastBodyExpr = lists:last(FoldFunBodyExprList),
  +    case is_simple_expr(LastBodyExpr) of
  +	true ->
  +	    [check_expr_list_not_ends_with_match_2(FoldFunBodyExprList,CurExprList,SubEs)
  +	     || SubEs <- sublists(SubExprs,length(SubExprs)-1)];
  +	_ -> [false]
  +    end.
  +
  +
   
   %% ==================================================
   %% Variables defined and exported by an expression list in
  
positive.code: 			{true, Subst} ->
  			    [{get_start_end_locations(SubExprs), SubExprs, Subst, Pats}];
  			_ ->
  			    [false]
  		    end;
  		_ -> [false]
  	    end;
  	_ ->
  	    case unification:expr_unification(FoldFunBodyExprList, SubExprs) of
  
negative.code: list_to_term(List)->
      binary_to_term(list_to_binary(List)).
  
  %%-spec(fold_expression_1/5::(filename(), atom(), integer(), [dir()], integer()) -> 
  %%	     {syntaxTree(), moduleInfo()} | {error, string()}).
  fold_expression_1(FileName, FunName, Arity, SearchPaths, TabWidth) ->
  