A. assert (!(map.contains(x))); map.add(x);
B. if (x > 0){}else { assert (x==0); }
C. public void aMethod(int x) { assert (x > 0); }
D. assert (invariantCondition()); return retval;
E. switch (x) { case 1: break; case 2: creak; default: assert (x == 0);