Look for simple binary ~= binary
Account for the case of empty inputs (used by derivedualBounds )
Minor performance improvements