Search: Wrong hole compilation