> [ 0.000000] (0:maestro@) Behavior: abort
> [ 0.000000] (0:maestro@) **************************
> [ 0.000000] (0:maestro@) ** CRASH IN THE PROGRAM **
> [ 0.000000] (0:maestro@) **************************
> [ 0.000000] (0:maestro@) From signal: Aborted
> [ 0.000000] (0:maestro@) Counter-example execution trace:
> [ 0.000000] (0:maestro@) Behavior: abort
> [ 0.000000] (0:maestro@) **************************
> [ 0.000000] (0:maestro@) ** CRASH IN THE PROGRAM **
> [ 0.000000] (0:maestro@) **************************
> [ 0.000000] (0:maestro@) From signal: Aborted
> [ 0.000000] (0:maestro@) Counter-example execution trace: