@Override public Assumption apply(Assumption prev) { return prev == null ? null : runtime().createAssumption(prev.getName()); } });
@Override public Assumption apply(Assumption prev) { return prev == null ? null : runtime().createAssumption(prev.getName()); } });