anchor.diff:                  (fun (a : 'A) (b : 'B) (c : 'C) (d : 'D)->
                       let env = env()
                       Utils.Write(env, s0, (conv1 a), s1, (conv2 b), s2, (conv3 c), s3, (conv4 d), s4)
  -                    env.Finalize()
  +                    env.Finish()
                   )
               )
           static member Final5<'A, 'B, 'C, 'D, 'E>
  
positive.code:                 (fun (a : 'A) (b : 'B) (c : 'C) (d : 'D) (e : 'E)->
                      let env = env()
                      Utils.Write(env, s0, (conv1 a), s1, (conv2 b), s2, (conv3 c), s3, (conv4 d), s4, (conv5 e), s5)
                      env.Finalize()
                  )
              )
          static member Chained1<'A, 'Tail>
  
negative.code:                 (fun (a : 'A) (b : 'B) ->
                      let env = env()
                      Utils.Write(env, s0, (conv1 a), s1, (conv2 b), s2)
                      env.Finish()
                  )
              )
  
  