Test suite hangs when choosing random formula type at `DecideSpec`

[nimec01]

logic-tasks/test/DecideSpec.hs

Lines 22 to 31 in 381f8cf

	validBoundsDecide :: Gen DecideConfig
	validBoundsDecide = do
	-- formulaType <- elements ["Cnf", "Dnf", "Arbitrary"]
	let formulaType = "Arbitrary"
	formulaConfig <- case formulaType of
	"Cnf" -> FormulaCnf <$> validBoundsCnf
	"Dnf" -> FormulaDnf <$> validBoundsCnf
	_ -> FormulaArbitrary <$> validBoundsSynTree `suchThat` \SynTreeConfig{..} ->
	maxNodes < 30 &&
	minAmountOfUniqueAtoms == fromIntegral (length availableAtoms)

The test suite hangs when using the commented line displayed in the code snippet above. We probably also want to use oneof instead of the current (custom) implementation.

[nimec01]

PickSpec and FillSpec share the same code snippet

[jvoigtlaender]

Observed here: #261 (comment)

[patritzenfeld]

This goes away when not restricting CNF and DNF type formulas with percentTrueEntries. Seems like it is sometimes impossible to find a normal form satisfying even large ranges.

It might be a good idea to add checks for this in the config validators. (related to #275)