slightly tweak implementation of empty collection nodes#189

dwightguth wants to merge 4 commits into

arximboldi:masterarximboldi/immer:masterfrom

runtimeverification:gcruntimeverification/immer:gcCopy head branch name to clipboard