ported prov-dot + derivationbyInsertion/Removal