config checker being overzealous on bitwidth?

[jvoigtlaender]

I suspect that in

sd-generate/src/Modelling/StateDiagram/Config.hs

Lines 249 to 259 in 894b3f1

	| maximum ([ flows + snd derivedFlowsNew | uncurry (/=) derivedFlowsNew ]
	++ [ snd derivedFlowsReused | derivedFlowsReused /= (0, flows) ]
	++ [ b | (a,b) <- [ startNodes
	, shallowHistoryNodes
	, deepHistoryNodes
	, triggerNames
	, forkNodes
	, joinNodes
	, totalNodes ]
	, 0 < a && a /= b ])
	> 2 ^ (bitwidth - 1) - 1

some or even all uses of the second pair component could be replaced by the first pair component (thus triggering that config error less often).