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