Adds all writes of next to base (i.e., the operations of next might happen).
next
base
REnvironment.append
Adds all writes of
nexttobase(i.e., the operations ofnextmight happen).