add constraint that a sm can have only one region