Updated the code generation

(1) removed e_acsl_assert from code
(2) the BMC_ASSERT it was replaced to assert from C program

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