Solving shortcuts you discover can be encoded as inference rules.
For the planning domain, this speeds things up tremendously!
