fn write_after_write(
    optimizer: &GlobalOptimizer<'_>,
    id: ItemId,
    node: (BlockId, usize)
) -> bool
Expand description

Checks for a write to id after node and returns with false If it is read before a write. Also returns false if no further write in this branch exists