[Ivette] fix the api generation order for synced values and states See merge request frama-c/frama-c!3353