Gather constraints in program order