Finished verification condition generation.
ECSTR14x2: Going through tidying up.