fixes #85: always convert operands of binary existential to expressions