Detecting Infeasible Paths Based on Branch Correlations Analysis