private void copyInfoFromInToOutSnapshot(VarLikeConstructUse variable, AssumePoint p, EvaluationLog log) { var variableInfo = log.GetSnapshotEntry(variable); if (variableInfo != null) { var vals = variableInfo.ReadMemory(p.InSnapshot).PossibleValues; variableInfo.WriteMemory(Output, new MemoryEntry(vals)); } }