Progress on codegen for forall query.