Rename ReadFromFile to ReadFromFile Pseudocode