Deprecate declarre_variable_event

[jivaccarezza]

• Elimitate protosmt2 format in favor of smt2
• Extract dictionary from workflow.

[clpombo]

Dictionary is extracted from framework but dod not get rid of proto types because they come handy for building the specification to be analyzed..