add namespace prefix to `dump_irep`