optimize goal_count (callgrind ir/call : 816 -> 126)#237

guicho271828 wants to merge 2 commits into

aibasel:mainaibasel/downward:mainfrom

guicho271828:goalcountguicho271828/downward:goalcountCopy head branch name to clipboard