Verification phase
=====================

Checking the number of values read by functions.

Checking the number of functions read.