A.assert(!(map.contains(x)));map.add(x);
B.if(x>0){}else{assert(x==0);}
C.publicvoidaMethod(intx){assert(x>0);}
D.assert(invariantCondition());returnretval;
E.switch(x){case1:break;case2:creak;default:assert(x==0);