[precompute] Makes the compute insn's deps. precise

[kaushikcfd]

Depend on an instruction only if it writes to the variables that the compute instruction reads.

[inducer]

Depend on an instruction only if it writes to the variables that the compute instruction reads.

Is this correct? The write could occur anywhere in the transitive closure of the dependency.