public void SaveRegisters(AbstractMachineState state, int count) { for (int i = 0; i < count; i++) { AbstractTerm toSave = new AbstractTerm(); toSave.Copy((AbstractTerm)state["X" + i.ToString()]); _savedVariables.Add(toSave); } }