Gobra: Automated, modular verifier for Go, based on Viper verification | Heykuki News