Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision 7f5566b3fe2cd28774da6eb330d767776dd50ea4)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision 093f1a05cb892b68f8de125aa3f280ceec73f1f3)
@@ -697,6 +697,4 @@
 			std::list< Type* >::iterator candidate_end = (*i).expr->get_results().begin();
 			std::advance( candidate_end, castExpr->get_results().size() );
-			if ( ! unifyList( (*i).expr->get_results().begin(), candidate_end,
-							 castExpr->get_results().begin(), castExpr->get_results().end(), i->env, needAssertions, haveAssertions, openVars, indexer ) ) continue;
 			Cost thisCost = castCostList( (*i).expr->get_results().begin(), candidate_end,
 										  castExpr->get_results().begin(), castExpr->get_results().end(), indexer, i->env );
Index: src/SymTab/Validate.cc
===================================================================
--- src/SymTab/Validate.cc	(revision 7f5566b3fe2cd28774da6eb330d767776dd50ea4)
+++ src/SymTab/Validate.cc	(revision 093f1a05cb892b68f8de125aa3f280ceec73f1f3)
@@ -162,5 +162,6 @@
 	class EliminateTypedef : public Mutator {
 	  public:
-		EliminateTypedef() : scopeLevel( 0 ) {}
+	  EliminateTypedef() : scopeLevel( 0 ) {}
+	    /// Replaces typedefs by forward declarations
 		static void eliminateTypedef( std::list< Declaration * > &translationUnit );
 	  private:
@@ -542,5 +543,5 @@
 		std::list<Statement *> initList;
 		initList.push_back( initStmt );
-
+  
 		UntypedExpr *cond = new UntypedExpr( new NameExpr( "?<?" ) );
 		cond->get_args().push_back( new VariableExpr( index ) );
@@ -617,5 +618,5 @@
 
 		// need to remove the prototypes, since this may be nested in a routine
-		for ( int start = 0, end = assigns.size() / 2; start < end; start++ ) {
+		for (int start = 0, end = assigns.size()/2; start < end; start++) {
 			delete assigns.front();
 			assigns.pop_front();
@@ -960,5 +961,5 @@
 	}
 
-	Declaration *EliminateTypedef::mutate( ContextDecl * contextDecl ) {
+		Declaration *EliminateTypedef::mutate( ContextDecl * contextDecl ) {
 		Mutator::mutate( contextDecl );
 		return handleAggregate( contextDecl );