updated README.md
moved unused scripts
fixed a bug related to concolic value tracking for defined functions.