id summary reporter owner description type status priority milestone component version resolution keywords cc 2422 Port lawn mower problem to new symbolic expression encoding gkronber gkronber depends on #2469 enhancement closed medium HeuristicLab 3.3.13 ZZZ OBSOLETE: Problems.LawnMower 3.3.12 obsolete