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