premise: While Republicans insist that back pay for contract workers is complicated and messy, Smith and Pressley disagree: "Federal agencies have already budgeted <hypo> had the shutdown not happened."
hypothesis: <hypo> should be "the money they would have used to pay these contractors"