correct memory symbolic execution
correct symbolic execution
correct registers symbolic execution + clean the code