Modified the library to show a new message when call the function __VERIFIER_error()

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