some tests for 440467f3a14ea2cf8f97d68eef982cc521d6b1a1
correctly coerce binary existential operator's operands to expressions