Reduce unused code - #310

Reduce unused code#310

SimonDold wants to merge 2 commits into

aibasel:mainaibasel/downward:mainfrom

SimonDold:reduce-unused-codeSimonDold/downward:reduce-unused-codeCopy head branch name to clipboard