replay_symbolic: replayConcolic flag is per range