anchor.diff:      | ParsedInput.ImplFile input -> walkImplFileInput input
   
   let getWrittenCases (matchExpr: MatchExpr) =
  -    let trueForAll pred list =
  -        List.exists (pred >> not) list = false
  -
       let rec checkPattern pat =
           match pat with
           | SynPat.Const(_const, _) -> false
  
positive.code:         | SynPat.DeprecatedCharRange(_, _, _)
          | SynPat.FromParseError(_, _) -> false
  
          | SynPat.Tuple(innerPatList, _) ->
              innerPatList
              |> trueForAll checkPattern
              
          | SynPat.Record(recordInnerPatList, _) ->
              recordInnerPatList
              |> List.map (fun (_, innerPat) -> innerPat)
              |> trueForAll checkPattern
  
          | SynPat.OptionalVal(_, _) -> true
          | SynPat.Wild(_) -> true
  
negative.code:                 walkExpr synExpr
                  |> Option.orElse (synMatchClauseList |> List.tryPick (fun (Clause(_, _, e, _, _)) -> walkExpr e))
                  |> Option.orTry (fun () ->
                      if List.forall clauseIsCandidateForCodeGen synMatchClauseList then
                          match sequencePointInfoForBinding with
                          | SequencePointAtBinding range ->
                              Some { MatchWithRange = range
  