With this option, the entire level of modality depth 1 is explored and
all satisfying assignments are listed.