hmmm... perhaps you are right in reality, however it reads as a double (in whatever form), i think you are giving the programming of the game credit for waaaayyyy more sophistication that it has.
and yes i do agree with you that that level of sophistication would be nice, so i am not defending HAL merely pointing out it's current limitations.
btw. the hr1-2 doubl3 3-20 goes to cf according to the rules as well. so that would have been in the gap off the wall. again appears to be one of the inconsistencies we live with with HAL. but it would apply equally to all.