Semiring-based graph minimization algorithms for scalax.collection.Graph