Location-Invariant Properties of Functions Versus Properties of Distributions: United in Testing but Separated in Verification. | AMiner