public int getFlags() { return UpdatingExpr.isUpdating(block) ? UPDATING : 0; }
public boolean isVacuous() { return UpdatingExpr.isVacuous(block); }