public static Solution CreateSolution(Atomic atomic, MatchStmt ms) { Atomic ac = atomic.Copy(); ac.AddUpdated(ms, ms); return(new Solution(ac, true, null)); }