How programe block remove race condition

SystemVerilog
,
2

You are correct. Program blocks do not remove all race conditions and are not recommended to use. See Are Program Blocks Necessary? - Verification Horizons