예제 #1
0
 @Override
 protected void startRefinementOfPath() {
   checkState(lastAbstraction == null);
   lastAbstraction = predAbsMgr.makeTrueAbstractionFormula(null);
 }