It seems Proseries tax software has been updated to allow for the exclusion of government pensions under Michigan Public Act 4 of 2023.  I marked the pension type as G and I scrolled toward the bottom of Schedule 1 deductions and check-marked the box for "qualified benefits from fire, police, or corrections service" within the Retirement Status Smart Worksheet.