Detects else-statements preceded by irrefutable patterns.