Complex sentence: These variables will be treated as symbolic variables during symbolic execution, whereas all other variables will be treated as concrete values.
Split into simpler sentences: These variables will be treated as symbolic variables during symbolic execution. All other variables will be treated as concrete values.