@Override
    protected void pushInitialValue(CFGBuilder builder) {
      builder.push(DfaOptionalSupport.getOptionalValue(false));
    }
@Override
    protected void pushInitialValue(CFGBuilder builder)