appy operations needs two reduced BDD operands