Automatic generation of default domains is not currently active. This feature can be activated via either the 'Edit > Options > CFX-Pre > General' editor or the 'Case Options > General' editor in the outline tree.