Boolean AutomaticMethod.AggressiveTetImprovement { get; set; }