// Assertions
// Assertion is a statement of *what you know*
//   i.e what you could prove to be true

1. Assignments
		x = 0;
		assert 	x == 0	;

2. if statements
		if ( condition ) {
			assert   condition    ;
		} else {
			assert   NOT (condition) 	;
		}

3. while loop
		while ( condition ) {
			assert	 condition	;
		}
		assert 	 NOT (condition) 	;