Application of Farisyn
The last version before FairSyn was applied.
This is the version that was used to run the experiments in the POPL2022 first submission.