20. Předat parametry VS k založení formální kontroly ()