handle variables with same input source
improved the tool
improved shadow memory
improved taint analysis/symbolic execution