anchor.diff:                  | SynExpr.Lambda(_, _, _synSimplePats, synExpr, _range) ->
                        walkExpr synExpr
   
  -                | SynExpr.MatchLambda(_isExnMatch,_argm,_synMatchClauseList,_spBind,_wholem) -> 
  -                    None
  -
  -                | SynExpr.Match(_sequencePointInfoForBinding, synExpr, _synMatchClauseList, _, _range) ->
  -                    walkExpr synExpr
  +                | SynExpr.MatchLambda(_isExnMatch, _argm, synMatchClauseList, _spBind, _wholem) -> 
  +                    synMatchClauseList |> List.tryPick (fun (Clause(_, _, e, _, _)) -> walkExpr e)
  +                | SynExpr.Match(_sequencePointInfoForBinding, synExpr, synMatchClauseList, _, _range) ->
  +                    walkExpr synExpr
  +                    |> Option.orElse (synMatchClauseList |> List.tryPick (fun (Clause(_, _, e, _, _)) -> walkExpr e))
  +
                   | SynExpr.Lazy(synExpr, _range) ->
                       walkExpr synExpr
                   | SynExpr.Do(synExpr, _range) ->
  
positive.code:                 None
              else
                  match expr with
                  | SynExpr.Quote(_synExpr1, _, _synExpr2, _, _range) ->
                      None
                  | SynExpr.Const(_synConst, _range) -> 
                      None
  
  
negative.code:                     List.tryPick walkSynModuleDecl modules
                  | SynModuleDecl.Types(typeDefs, _range) ->
                      List.tryPick walkSynTypeDefn typeDefs
                  | SynModuleDecl.DoExpr (_, expr, _) ->
                      walkExpr expr
                  | SynModuleDecl.Attributes _
                  | SynModuleDecl.HashDirective _
                  | SynModuleDecl.Open _ -> 
  