fix AutomaticMGUGenerationTests