never { accept_init: s0_init: if :: (1) -> goto s0_init fi; }