The Power of Typed Affine Decision Structures: A Case Study