Idea: After machine instantiation the type of the degree changes from MachineDegree (optional min / max) to NamspaceDegree (mandatory min / max).
Requires more changes in the test: in many tests, we rely on a to-be-removed linker feature (if the main degree is static, it is used for all sub-machines). Instead, we should always set the degree range at instantiation time.
Idea: After machine instantiation the type of the degree changes from
MachineDegree(optional min / max) toNamspaceDegree(mandatory min / max).Requires more changes in the test: in many tests, we rely on a to-be-removed linker feature (if the main degree is static, it is used for all sub-machines). Instead, we should always set the degree range at instantiation time.