added some symbolic execution capability