Use `child_postconditions_map`

Instead of `cls_postconditions`: this way the postcondition is
restricted to the resources that actually need it (`create` and `change`
children).