ada: Add missing ss_mark/ss_release in quantified expressions