started working on the symbolic executor implementation