initial_bc_state_side proved