Fixing confused code for interpretations of evar instances.
Now that evars can be parsed, protect strongly Check from calling kernel with evars.
New bugs revealed fixed: #3408 by (probably) Maxime's commits
on vm and #3068 by Nov 2 commit on destruct.

Also fixed test for failure of #3459.