@Override protected void startRefinementOfPath() { checkState(lastAbstraction == null); lastAbstraction = predAbsMgr.makeTrueAbstractionFormula(null); }
@Override protected void startRefinementOfPath() { checkState(lastAbstraction == null); lastAbstraction = predAbsMgr.makeTrueAbstractionFormula(null); }