Add some notes in ScanState.v