Added entry and exit point for methods
Removed duplicate code in getters and updated the rest with the new stmt
Removed the DFG
Acquire actions management for special cases: exceptions, continue,
break and return
Acquire actions management: add is not needed only intialize
Separated th eexceptions from the rest. Exception should be passed to
the expressions
Extracted a mergeExceptions to the new module about exceptions
Exception module, contains environment and acquire actions
Added function to add new actions to a specific path
Get exception state, future: check inheritance