module REJECT (TYPES, CHANNELS) is

!auxiliary

process MAIN [RECEIVE_BLOCK_PROPOSAL: BLOCK, COMMIT_EMPTY_BLOCK: COMMIT] is
   loop
      RECEIVE_BLOCK_PROPOSAL (?any BIT);
      COMMIT_EMPTY_BLOCK
   end loop
end process

end module