mu-mmint: Better fix for alternative-based refinement

 * Introduced new interface for mavo reasoners, to be polished