Fixing Bug related to model __VERIFIER_error() function in C code

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