VSW: added section on verification condition generation.