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

  behaviour

    a; b; exit
    |||
    c; d; exit

endspec