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)