DFG should assert that argument value recoveries can only be