Checks that match expression doesn't have unreachable patterns.