fix(model): ignore non-existing variables that result from lifting
fix(model): ignore non-existing variables that result from lifting

Lifting might result in free variables for a VC even if these variables are not used in the testing code. In these cases, no error should be thrown when querying the model for these variables.

levjj/esverify,levjj/esverify