new sirius diagram presenting the contracts and the actions
Add a simple diagram type that shows the contracts and actions
ie. a simple box with each parameter as internal boxes + a "postit" box for the description
future work: infer from guard the connexions between parameters
Edited by Vojtisek Didier