module SequentialCircuit {
  var next_r: boolean;
  var r: boolean;

  input x: boolean;

  output y: boolean;

  init {
    r = false;

  }
  next {
    next_r' = (r || x);
    y' = !(x != r);

  }
}
