Checking Concurrency Coding Rules - Fredlund, LA; Herranz, A; Mariño, J (Syntactic Asp Forgetting With Forks, 2025)