Please write the documentation necessary for Imperative Recovery to understood and used in Lustre 2.2. Please include any tunables that affect IR behavior. Only the raw content needs to be written - any grammar checking, spell checking, formatting, etc. will be done by a doc writer. The content can be appended to this ticket.