[Analysis] Contracts GUI
Do a GUI for contract displaying the contract that a model element
depends upon, and the ones that it provides.
Provide the possibility to verify the contracts.
(from redmine: issue id 2353, created on 2015-06-11, closed on 2016-01-25)