BMSSP_Correctness.BMSSP_Initialization