Fixed bug in the GNU hack to __VERIFIER_error() function and added new samples code

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