anchor.diff:                  Pi.assume (SentCCS(Client,e));
                   let cvd = PRF.makeVerifyData (epochSI e) ms Client log in
                   let cFinished = messageBytes HT_finished cvd in
  -                let ki_out = id ci.id_out in
  +                let ki_out = ci.id_out in
                   let (rg,f,_) = makeFragment ki_out CCSBytes in
                   let ci = {ci with id_out = e} in 
   (* KB #if avoid 
  
positive.code: (* KB #endif*)
              | _ -> OutIdle(state)
      | outBuf ->
          let ki_out = id ci.id_out in
          let (rg,f,remBuf) = makeFragment ki_out outBuf in
          match remBuf with
          | xx when length xx = 0 ->
  
negative.code:                 Pi.assume (SentCCS(Server,e));
                  let svd = PRF.makeVerifyData si ms Server log in
                  let sFinished = messageBytes HT_finished svd in
                  let ki_out = ci.id_out in
                  let (rg,f,_) = makeFragment ki_out CCSBytes in
                  let ci = {ci with id_out = e} in
  (* KB #if avoid 
  