add getters to SMConf + check set consistency in SM_Engine