anchor.diff:  				  true -> case variable_replaceable(Expr1)  andalso 
    					      variable_replaceable(Expr2) of
   					      
  -					      true -> [{Expr1, Expr2}];
  +					      true -> 
  +						  [{Expr1, Expr2}];
   					      _ ->
   						  ?debug("Does not unify 7:\n~p\n", [{Expr1,Expr2}]),
   						  throw(non_unifiable)
  
positive.code: 	       catch
  		   _ -> case variable_replaceable(E1) andalso 
  			    variable_replaceable(E2) of 
  			    true ->[{E1,E2}];
  			    _ -> throw(non_unificable)
  			end
  	       end       
  
negative.code: 					   do_search_similar_expr_1(Exprs, Exprs1, RecordInfo, SimiScore, FunNode)++Acc1;
  				 block_expr -> Exprs1 = refac_syntax:block_expr_body(T),
  					       do_search_similar_expr_1(Exprs, Exprs1, RecordInfo, SimiScore, FunNode)++Acc1;
  				 try_expr -> Exprs1 = refac_syntax:try_expr_body(T),
  					     do_search_similar_expr_1(Exprs, Exprs1, RecordInfo, SimiScore, FunNode)++Acc1;
  				 _  -> Acc1
  			     end
  		     end,
  