SMTDebugLevel constructor

SMTDebugLevel()