Added option to handle the output of the E-ACSL plugin

The option for while only adds assert in C format

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