//#Safe
/* Date: 2018-05-25
 * Author: jonaswerner95@gmail.com
 *
 * A simple program
 *
 */

procedure main() {
	var x : int;
	x := 0;
	
	x := x + 1;
	
	assert x == 1;
}