Check compatibility of SDD operands on the fly.
Merge branch 'on_the_fly_compatibility_check'
Check compatibility when performing the union of flat SDDs.