Title: Experience with Parametric Binary Dissection