@Override
    protected void pushInitialValue(CFGBuilder builder) {
      if (myFunction == null) {
        super.pushInitialValue(builder);
      } else {
        builder.pushUnknown().invokeFunction(1, myFunction, Nullability.NOT_NULL);
      }
    }
@Override
    protected void pushInitialValue(CFGBuilder builder)