pushPlaces :: Marking value -> [(PlaceNo, value)] -> Marking value
    pushPlaces marking placeNoValuePairs = foldl' adjust marking placeNoValuePairs
        where adjust marking (placeNo, value) = DM.adjust (++ [value]) placeNo marking
pushPlaces :: Marking value -> [(PlaceNo, value)] -> Marking value
pushPlaces marking placeNoValuePairs = foldl' adjust marking placeNoValuePairs
        where adjust marking (placeNo, value) = DM.adjust (++ [value]) placeNo marking
pushPlaces marking placeNoValuePairs = foldl' adjust marking placeNoValuePairs
        where adjust marking (placeNo, value) = DM.adjust (++ [value]) placeNo marking