CheckVerifier with package path of variables

Hello @christian.jacob

I think that this answer should help you to solve this problem:

Best,
Quentin