anchor.diff:                      (DPP({fwd = primerF'; rev = primerR'; name = errorName})::primersOut)
                       ((cutLeft next offsetF)::tl) // Remove bases from the next slice if we moved the primer
               else
  +                if verbose then
  +                    printfn "procAssembly: ... longcase"
                   // LONGINLINE Case
                   // Regular inline case or linker case - just design fwd and reverse then prepend
                   // leading sequence (inline or linker)
  
positive.code:                 not (hd.pragmas.ContainsKey("rabitend") || hd.pragmas.ContainsKey("rabitstart"))) &&
                  prev <> []
              ->
              if hd.sliceType = INLINEST && hd.dna.Length < 12 then
                  // SHORTINLINE Case
                  //
                  // Special case for short inline sequences.  We can sort of do a seamless design
  
negative.code:         match l with
          | [] ->
              let sliceOut' = 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
              // small DNA sequence, so just ignore FUSION directive
              if verbose then
                  printfn "procAssembly: skipping redudant FUSIONST/INLINEST"
              procAssembly dp errorName prev sliceOut primersOut (next::tl)
          | hd::next::tl when hd.sliceType = FUSIONST ->
              // Slice hd is a fusion slice, which is virtual, it exists only to mark
              // the intention to fuse prev and next together
              if verbose then
                  printfn "procAssembly: FUSIONST - generating primers"
              if prev = [] then failwith "INTERNAL ERROR: unexpected prev = [] in procAssembly\n"
              let primerF,offsetF,primerR,offsetR = seamless dp (List.head prev) next
  
  