4. Verification phase#

Checking the number of values read by functions.

Checking the number of functions read.