Preddefinované vzory dekurzov a ich automatická kontrola