contract refinement enabled only from graphical editor
@adebiasi
Submitted by Alberto Debiasi Link to original bug (#555653)
Description
It is possible to execute the contract refiniment only from the graphical editor, i.e. selecting the graphical element representing the contract property. It is not possible to execute that command selecting the contract property from the exporer view.