flag for displaying or not additional assumptions for nondeterministic assignments