Don't infer variables if conflicts