sem [ fbn fbpn bn bpn ] {
    if(a) annul();
    schedule(alu);
};