anchor.diff:              if not outputParity then
                   failwithf "These lists should have same length :( - error in procAssembly"
               ()
  -        finalOutput
  +        finalOutput // RETURN POINT *****
       | hd::tl when hd.sliceType = INLINEST && (not (hd.pragmas.ContainsKey("rabitend"))) ->
           if verbose then
               printfn "procAssembly: ... (GAP) INLINEST"
  
positive.code:         let sliceOut' = sliceOut // daz  (I think this is now reincluding a slice)  //    incPrev prev sliceOut |> List.rev
          if verbose then
              printfn "procAssembly: done with slices"
          List.rev primersOut,sliceOut'
      | hd::next::tl when hd.sliceType = FUSIONST && next.sliceType=INLINEST ->
          // Fusing a slice to a following inline sequence is redundant as that's the
          // strategy we employ by default, but it will mess things up to try to put a seamless stitch here into a possibly
  
negative.code:                 // Assume it's a stand-alone inline sequence that could be made with a pair of primers
                  printfn "procAssembly:  final sliceOut' prev empty branch"
                  if sliceOut = [] then // Assume it's a stand-alone inline sequence that could be made with a pair of primers
                      [last] // Fake slice for now.. TODO TODO
                  else failwith "expected preceding linker adjacent to terminal inline sequence"
              | p::_ -> 
  