Created method to generate script to code with asserts

This script is based on ESBMC tool

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