Infer output bounds on interpolate-simplest-sched2

Proof of concept. Only a single iteration for now, but it seems to
solve the issue for at least this example.