Posuzovatel formální kontroly ()