@Override public void advance() { super.advance(); System.err.println("AtomBuchiCG.advance: " + toString()); if (originalPC == null) { return; } PathCondition guardPC = originalPC.make_copy(); for (Literal<String> l : node.getOutgoingEdges().get(index).getGuard()) { Atom a = stringToAtom(l.getAtom()); Set<Constraint> constraints = a.getConstraints(); System.err.println( "AtomBuchiCG.advance: for guard=" + l.getAtom() + ", atom=" + a + ", atom.text=" + a.getText() + ", constraints=" + constraints); if (constraints == null) { continue; } for (Constraint c : constraints) { if (l.isNegated()) { guardPC.prependUnlessRepeated(c.not()); } else { guardPC.prependUnlessRepeated(c); } } } setPC(guardPC); }