record initialized values if RecordSampler
change assert