Small modifications to have the tests ok: we do not handle yet the ::mode_id syntax
guarantee(s)
Cocospec
add more contracts examples