Added function to handle with function __VERIFIER_error()

TODO: Update the library header and C

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