Add a new replaceSymbolicValuesWithConcrete method to the SCEV class,