statements in StatementSequence should should not be forced to be unique
In the meta model of expression (expression.ecore), the ‘statements’ in a StatementSequence are declared as ‘unique’. (model ->term -> imperative ->StatementSequence).
This however prohibits sequences like:
cprover_init_ports_Controller_ID_63( )
perform_step_Controller_ID_63( )
cprover_init_ports_Controller_ID_63( )
perform_step_Controller_ID_63( )
cprover_init_ports_Controller_ID_63( )
perform_step_Controller_ID_63( )
…
(Which are required for a kind of CMBC runtime optimization.)
I think, that this ‘unique’ declaration is wrong and that repeated statements in a sequence should be allowed!
(from redmine: issue id 2405, created on 2015-08-05, closed on 2015-10-05)