core: git rid of VariableContext, add a new keyword for semantic description **res**, continue to design symbolic API ; emul_interpreter: remove VariableContext related codes ; arch_x86: fix instructions semantic (untested)