Update the output for E-ACSL to BMC

The output is generated in the same location where is the C program analyzed, and
it was identified the number of the lines where it was added the asserts to BMC.
TODO: generate a script to user check the asserts to BMC.

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