Tweaking ScalaGraphMinimizer