Browsing: distilling contracts