AEO Checker Case Studies