Add `child_postconditions_map`