Dynamic control-to-data tranformation to cope with path explosion in symbolic interpretation and/or execution