Sen. Lindsey Graham’s bill would punish local officials for not cooperating with immigration enforcement. But no consensus exists on what qualifies as a “sanctuary” jurisdiction or how many there are.