Parallelization of C# programs through annotations