The reason for this is that many useful features or properties are difficult or impossible to verify statically.
Разлог за ово је тај да многе корисне карактеристике или особине је тешко или немогуће потрврдити статично.