1Test checking that FindDivWithInputsInBasicBlock works correctly
2if the dividend equals the divisor.
3