public string Learn(string program) { if (isRollbacked) { history.Clear(); isRollbacked = false; } learned.Push(program); return(null); }