[NKI-352] Make sure BIR AP lowers fully in lower AP pass#572

ppotapov-aws merged 1 commit intomainleanprover/KLR:mainfrom

ppotapov/lower_bir_apleanprover/KLR:ppotapov/lower_bir_apCopy head branch name to clipboard