core: continue to implement symbolic execution