fix: IndPredBelow should not add auxiliary declarations containing sorry#4563
Merged
leodemoura merged 1 commit intomasterfrom issue_4535Jun 25, 2024
+12-4
IndPredBelow should not add auxiliary declarations containing sorry#4563