Changed save logic table & save dot functions to only include states that map input to output.