* major bugfix in Unify::MGU