Part of calculation of rates.
Add ``verify`` statement weaving.