This spliste execBinaryOp in two parts where the second conatains all the logic that relies on the assumption that values are already in "demanded".