Как выполнить формальную проверку в смарт-контрактах C# Stratis