Peforms static analysis during verify stage.