Fixes #435 and #395: SMT backend crashes#453

Merged

cp526 merged 3 commits intomasterfrom issue_435

Jul 31, 2024

+44-6

Commits on Jul 30, 2024

Fixes #435
yav
committed
Format things appropriately.
yav
committed
Fixes #395 .
yav
committed