anchor.diff:          Error (msg,m)
       |> ErrorD
   
  +and ReportNoCandidatesErrorExpr csenv callerArgCounts methodName ad calledMethGroup =
  +    let isSequential e = match e with | Expr.Sequential (_,_,_,_,_) -> true | _ -> false
  +    ReportNoCandidatesError csenv callerArgCounts methodName ad calledMethGroup isSequential
  +
  +and ReportNoCandidatesErrorSynExpr csenv callerArgCounts methodName ad calledMethGroup =
  +    let isSequential e = match e with | SynExpr.Sequential (_,_,_,_,_) -> true | _ -> false
  +    ReportNoCandidatesError csenv callerArgCounts methodName ad calledMethGroup isSequential
   
   // Resolve the overloading of a method 
   // This is used after analyzing the types of arguments 
  
positive.code:     | [],_ -> 
          ErrorD (Error (FSComp.SR.csMethodNotFound(methodName),m))
      | _,[] -> 
          ReportNoCandidatesError csenv callerArgCounts methodName ad calledMethGroup 
          ++ (fun () -> ResultD false)
      | _ -> 
          ResultD false
  
negative.code:                         cmeth.ArgSets
                          |> List.exists (fun argSet ->
                              argSet.UnnamedCallerArgs 
                              |> List.exists (fun c -> isSequential c.Expr))
  
                      if couldBeNameArgs then
                          Error (FSComp.SR.csCtorSignatureMismatchArityProp(methodName, nReqd, nActual, signature), m)
  