(* synthesize *)
module sysRuleBetweenMethods_CFAttrNoCommonMethod ();
    SubIfc s <- mkRuleBetweenMethods_CFAttrNoCommonMethod_Sub;
    Reg#(Bool) p1 <- mkReg(True);
    Reg#(Bool) p2 <- mkReg(False);

    Reg#(int) rg1 <- mkRegU;
    Reg#(int) rg2 <- mkRegU;
    Reg#(int) rg3 <- mkRegU;

    (* conflict_free = "top_rule_r1, top_rule_r2" *)
    rule top_rule_r1;
      if (p1)
        s.m1();
      rg1 <= 17;
    endrule

    rule top_rule_r2;
      if (p2)
        s.m2();
      rg3 <= rg2;
    endrule

    // insert a rule between, to enforce an opposite order from the use of "s"
    rule top_rule_middle;
      rg2 <= rg1;
    endrule

endmodule

interface SubIfc;
    method Action m1();
    method Action m2();
endinterface

// Execution order: m1, sub_rule, m2
(* synthesize *)
module mkRuleBetweenMethods_CFAttrNoCommonMethod_Sub (SubIfc);
    Reg#(int) rg1 <- mkRegU;
    Reg#(int) rg2 <- mkRegU;
    Reg#(int) rg3 <- mkRegU;

    rule sub_rule;
      rg2 <= rg1;
    endrule

    method Action m1();
      rg3 <= rg2;
    endmethod

    method Action m2();
      rg1 <= 17;
    endmethod
endmodule