(Mismatch between Python exclusive and isl inclusive semantics...
Treatment needs to be symmetric for isl.)

Unify two pre-existing code paths for conditional generation.
Compute bounds for 'for' by isl bounds finding.
Use overapproximation *except* when the insn builds its own
  final conditional.
Btw, the axpy nondet failure was a PyOpenCL bug in Array.view.
  (fixed in pyopencl:9207aae)

- Rename apply_subst to expand_subst.

- Track if precomputes in other substitution rules are uniformly
  in-footprint, and if so, perform substitution to storage reference
  even within substitution rules.

- Remove 'formal argument' sweep spec from precompute(). This is purely
  counterintuitive, because it finds an intermediate set of inames that
  then get swept out and thereby may pick up much more than the formal
  argument referenced.

- Fix the 'in-footprint' criterion to be the storage-to-sweep map with
  the sweep dimensions projected out.

Introduce 'breakable' loops.