Added reneging when an event has happened and associated example_12.jl