Incremental search of optimal abstract plans in domain abstractions

[Martin1887]

As done by Scorpion for Cartesian abstractions.

[Martin1887]

It is not so straightforward because domain abstractions use match trees instead of maintaining all transitions and rewiring them.