anchor.diff:          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'
  +        List.rev primersOut,List.rev sliceOut' // reverse the primers and the slices since we pushed as we built
       | 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
  
positive.code:             if not outputParity then
                  failwithf "These lists should have same length :( - error in procAssembly"
              ()
          finalOutput
      | hd::tl when hd.sliceType = INLINEST && (not (hd.pragmas.ContainsKey("rabitend"))) ->
          if verbose then
              printfn "procAssembly: ... (GAP) INLINEST"
  
negative.code:                 // 4) reverse list to get natural forward order since we pushed results on successively
                  if verbose then
                      printfn "procAssembly:  potentially trimming p=%s last=%s" p.description last.description
                  last::(cutRight p offsetR)::(List.tail sliceOut)  
                  |> List.rev // Finally reverse the slice out list since we pushed it as we created it
  
          if verbose then
                  printfn "sliceOut'=%s" (String.Join(";",[for s in sliceOut' -> s.description]))
  