Klever

There are two translators for EMG. One of them prepare sequential code, when all specified functions are called directly from switch..case. The other one is used for data race detection and thus pthread_create is used for every function. In large projects there are a lot of functions, and thousands of threads break the analysis. The idea is to call all specified functions in switch-case, and create a pthread for the parent function. Note, the second way is also useful, so do not modify the second way, transforming it into the third one.