Add the possibility to specify the minimal number of variables at every SDD level.

It still lacks the support of artificial order nodes.
Merge branch 'master' into order-min-height
Use artificial identifiers.