changes to case Binary(Or, e1, e2)