Generalize GVN's conditional propagation logic slightly: