‘S-TBSE’ constraint set