Use pre- and postconditions to infer required action sequence

[LoyVanBeek]

Then might as well add the post-conditions of an action :-)

[rokusottervanger]

Sure, otherwise, how could you plan actions to make sure the precondition of the last action is met? ;)