Starting to write new code to handle the function __VERIFIER_ERROR

Signed-off-by: Herbert Rocha <herberthb12@gmail.com>