Fixed Bug in witness/example0.c << colateral efect from last changes (points2leak)

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