anchor.diff:          timeStamper cache ctok
                   
       // Link all the assemblies together and produce the input typecheck accumulator               
  -    let CombineImportedAssembliesTask ctok : Cancellable<SemanticModel> =
  +    let CombineImportedAssembliesTask ctok : Cancellable<BoundModel> =
         cancellable {
           let errorLogger = CompilationErrorLogger("CombineImportedAssembliesTask", tcConfig.errorSeverityOptions)
           // Return the disposable object that cleans up
  
positive.code:                 | FullState(_, tcInfoOptional) -> FullState(finishTcInfo, tcInfoOptional)
  
              return
                  SemanticModel(
                      tcConfig,
                      tcGlobals,
                      tcImports,
  
negative.code:                 let! _ = evalUpTo
  
                  return 
                      boundModels.[targetSlot]
                      |> Option.map (fun boundModel ->
                          (boundModel, stampedFileNames.[targetSlot])
                      )
              }
  
  