currently guards are evaluated one by one, change that for extoptSDT and group expressions, think about also implementing this for basicSDT.
if they are synthesized in the same expression block, potential circuit size reductions because of double usage