Update validator and fix a bug in InExp::interpret()
+clean up statement interpretation
+Add CtfeResult