Code cleaning

* Useless assert removed
Forward Search Problem Action Iterator interface

* Synced with Chris' implementation of Malte's operators march tree