the map of existingNotCompleteExec should not be an inner map, it does not have any variant related to x (only the contains depends on x)