Definition of the Viper intermediate verification language. - View it on GitHub