> **This is a Placeholder**  
Replace the content of this field with a meaningful description of the changes made within this pull request. It will be suggested as the commit message when merging the pull request.

For the pull request title, summarize the changes in imperative mood and prepend "[issueX]" where X is the issue number in our issue tracker (issues.fast-downward.org). The title will be suggested as the commit subject.

The commit message (i.e., this field) should highlight how the changes affect planner behavior:
 - Do they add functionality?
 - Does the command line syntax change?
 - Is planner performance affected according to the experiment?

Find our guidelines for commit messages in the Fast Downward Wiki (https://www.fast-downward.org/latest/for-developers/git/#git_conventions).
