Annotation for synched methods
If a stage does contain a critical section which should only be executed sequentially, a user should mark it as such. This would simplify the use of FDT techniques in future work, as it enables the calculation of the optimal number of threads.
(FDT paper by Suleman -> SAT)