core: improve symbolic execution, add a visitor to evaluate the value from an expression, add new method for os module to execute symbolically a symbol (usually a function) ; os_windows: start to handle symbolic effect of a stdcall function