let is_indirect_backward v = v.indirect_backward && not v.direct