refactored code
refactored code
started working on symbolic execution