MicroTESK

When generation is finished MicroTESK checks whether the execution reaches the end of the program.
Currently, MicroTESK considers the end of the program to be the last instruction of the last sequence (e.g. the program's epilogue).
However, the end of epilogue might contain some supplementary code that does not necessarily executed last (handlers, termination for different PEs).
In such cases, MicroTESK mistakenly says that execution cannot reach the termination point. This causes generation to fail.

To avoid such situation, there must be a way to explicitly specify the termination point for each PE.
It can be a special pseudo instruction that marks the termination point or a way to specify the termination address for a PE.