Recognize IfExpr in CompUniqueBoundsPB#581

Merged

roastduck merged 2 commits intomasterfrom pb_simplify

Jan 14, 2024

+401-83

Commits on Jan 14, 2024

Recognize IfExpr in CompUniqueBoundsPB
roastduck
committed
Remove statement checking from CompUniqueBoundsPB since we have now requried to instantiate one CompUniqueBoundsPB object per statement
roastduck
committed