let dummy_values_string_list =
(*** version non abstraite : ***) |
[(Agent, "dummy_agent");
(Nat, "dummy_nat");
(Bool, "dummy_bool");
(Hash_func, "dummy_hash");
(Message, "dummy_msg");
(Text, "dummy_nonce");
(Public_key, "dummy_pk");
(Symmetric_key, "dummy_sk");
(Channel, "dummy_chnl");
(Channel_ota, "dummy_chnl_ota");
(Channel_dy, "dummy_chnl_dy");
(Protocol_id, "dummy_pid")
]