//#Safe
/* 
 *
 * Author: Alexander Nutz
 */

procedure main();

/*
 */
implementation main() {

  var b,c : bool;

  b := true;

  c := false;

  assert b != c;
}