anchor.diff:              |> addMethod myMethod
               |> addMethod myMethodAsync
               |> ignore       
  -
  -            | _ -> failwith errorMessage                    
  +        |"request" ->
  +            let myMethod = 
  +                ProvidedMethod(methodName+nameLabel, listParam, nextType,
  +                    IsStaticMethod = false,
  +                    InvokeCode = 
  +                        fun args-> 
  +                            invokeCodeOnRequest) 
  +            aType 
  +                |> addMethod myMethod
  +                |> ignore
  +          
  +        |"accept" ->  
  +            let myMethod = 
  +                ProvidedMethod(methodName+nameLabel, listParam, nextType,
  +                    IsStaticMethod = false,
  +                    InvokeCode = 
  +                        fun args-> 
  +                            invokeCodeOnAccept) 
  +            aType 
  +                |> addMethod myMethod
  +                |> ignore
  +
  +        | _ -> failwith errorMessage                    
   
   let generateChoice (aType:ProvidedTypeDefinition) (fsmInstance: ScribbleProtocole.Root []) currentState indexList indexOfState  = 
       let assem = typeof<TypeChoices.Choice1>.Assembly
  
positive.code:     sb.Append("</summary>") |> ignore
      sb.ToString()
  
  let generateMethod aType (methodName:string) listParam nextType (errorMessage:string) 
                     (event: ScribbleProtocole.Root) exprState role = 
      
      let fullName = event.Label
      let nameLabel = fullName.Replace("(","").Replace(")","")
      let labelDelim, payloadDelim, endDelim = getDelims fullName
      let decode = new System.Text.UTF8Encoding()
      let message = Array.append (decode.GetBytes(fullName)) (decode.GetBytes(labelDelim.Head))
  
      match methodName with
          |"send" -> 
              let myMethod = 
                  ProvidedMethod(methodName+nameLabel, listParam, nextType,
                      IsStaticMethod = false,
  
negative.code:     match providedList with
          |[] -> ()
          |[aType] -> match methodName with
                          |"send" |"receive" |"request" |"accept" 
                              -> goingThrough methodName providedListStatic aType indexList mLabel mRole fsmInstance 
                          |"choice" -> generateChoice aType fsmInstance currentState indexList indexOfState
                          |"finish" ->  goingThrough methodName providedListStatic aType indexList mLabel mRole fsmInstance 
                          | _ -> failwith "The only method name that should be available should be send/receive/choice/finish"
          |hd::tl ->  match methodName with
                          |"send" |"receive" |"request" |"accept" 
                              -> goingThrough methodName providedListStatic hd indexList mLabel mRole fsmInstance 
                          |"choice" -> generateChoice hd fsmInstance currentState indexList indexOfState
                          |"finish" -> goingThrough methodName providedListStatic hd indexList mLabel mRole fsmInstance 
                          | _ -> failwith "The only type of event from the CFSM that should be available is one of the 
  