NOT WORKING Schema do wskazania mechanizmow automatycznych wyliczen na bazie asserts