anchor.diff:          coalescedIds = new SortedDictionary<int, int>()
           nextId = 0
       }
  -    for item in traverse blocks do
  -        match item with
  -        | Left marker ->
  +    blocks
  +    |> convert
  +        (fun marker ->
               match marker with
               | PushIds ->
                   let copy = t.currentIds.ToDictionary((fun p -> p.Key), (fun p -> p.Value))
  
positive.code:             | ShiftRight binary
              | Subtract binary
              | Xor binary ->
                  binary.rightId <- getCurrentId t binary.right
                  match binary.right with
                  | Value _ ->
                      if not (typeExists t binary.left) then
  
negative.code:         let operand = pair.Key
          finalizeType t operand
      for pair in t.coalescedIds |> Seq.rev do
          blocks
          |> convert
              (fun _ -> ())
              (fun instr ->
                  match instr with
                  | Negate unary
                  | Not unary
                  | Call unary
                  | Return unary ->
                      if unary.operandId = pair.Key then
                          unary.operandId <- pair.Value
                  | Add binary
                  | And binary
                  | Compare binary
                  | Divide binary
                  | Multiply binary
                  | Or binary
                  | ShiftLeft binary
                  | ShiftRight binary
                  | Subtract binary
                  | Xor binary
                  | Assign binary ->
                      if binary.leftId = pair.Key then
                          binary.leftId <- pair.Value
                      if binary.rightId = pair.Key then
                          binary.rightId <- pair.Value
                  | Break
                  | Branch _
                  | Nop ->
                      ()
                  instr
              )
          |> ignore
      {
          parameterTypes = parameterTypes
          localTypes = localTypes
  