This is the v2 with wrap-program instead of propagated-inputs.