Diplodocus: for loops in activity diagrams of tasks should be validated to have two nexts elements (internal behavior, exit behavior)