Element 'binary decision diagram'