In reply to UVM_learner6:
The following check will work. In your overlapping assertion, if the cmd_id is set only when cmd_req is asserted high, then it will fail.
stable_id: assert property(
@(posedge i_clk) disable iff(!i_rst_n)
(cmd_req) |=> $stable(cmd_id)
);