/* Commandline execution:
 *		civl verify sideEffects.cvl
 * */
#include<civlc.cvh>

void main() {
  int a;
  int b;
  int c;

  a = b = c = 0;
  b++;
  a = ++b;
  c = a--;
  b = c++;
  $assert((a == 1));
  $assert((b == 2));
  $assert((c == 3));
}