code: @Override
    public <O> O replaceTerms(Map substitutions) throws KbTypeException, CreateException {
      return wrapped().replaceTerms(substitutions);
    }
docs: /*
  @Override
  public boolean provablyNotInstanceOf(String colStr, String ctxStr) {
  return wrapped().provablyNotInstanceOf(colStr, ctxStr);
  }