fix: IndPredBelow should not add auxiliary declarations containing sorry
#2712
leodemouracopyright-header.yml
on: pull_request
check-lean-files
17s