SMT Design Space Extension This module allows to use advanced design space implementation for hierachical variables handling.