On 07/01/2013, Wolfgang Laun <wolfgang.laun at gmail.com> wrote: > $evb: EventB( this after $eva1 before $eva3 ) Oops: $evb: EventB( this after $eva1 && before $eva3 ) -W