fn join_state( entry_state: BlockMemoryState, pred_exit_state: BlockMemoryState, ) -> BlockMemoryState