Binary search to find procedure properties.