specification exa4_5[a,b,c,d] : exit

  behaviour

    a; b; d; exit
    |[a,d]|
    a; c; d; exit

endspec