---

6.3.5 Verifications ¶

This step ensures some basic verifications.

It takes the context from the previous step, and analyses it to find any flaws.

For example, we check here if a function is invoked whilst it’s reference is non-existant.