The ApplicationFSM pass transforms the ICFG of a task to a finite state
machine. This construction is done by transforming CFG-edges to
FSM-states, and CFG-blocks to FSM-transitions.

In a second step, the CFG-computation blocks are handled as FSM-epsilon
transitions. Then a standard epsilon elimination is done for
subtask-FSM.

Change-Id: I874bc3b17ebaf16b58bb70226e5eef091e5cbbe9