+stash
remove resolveReferences
+fix warning
Update validator and fix a bug in InExp::interpret()