Refactor the verifiable models approach and apply it to the UUID verifier