code: @Override
    public boolean provablyNotInstanceOf(KbCollection col, Context ctx) {
      return wrapped().provablyNotInstanceOf(col, ctx);
    }
docs: ====|    Public methods    |==================================================================//