create action with effects instead post-conditions

Using explicit post-conditions requires duplication of unaffected
propositions (e.g. due to maintained property states). By using effects
one can specify only those propositions that actually change.
Post-conditions can be derived from the effects when pre-conditions are
known.