The list property gets what each node added to its end, in the order of the nodes in the step. A single node may also rewrite the list. Two nodes that change it, one of which did more than add to its end, fail the run.
returns the state with property set to the merged list.