Avoid rewriting imported axioms
use new leveldb iterator api