(* synthesize *)
module mkWarnFalse();

  Reg#(Bool) b <- mkReg(True);
  Reg#(UInt#(21)) r <- mkReg(17);

  rule test;
    if (b && !b) r <= 42;
  endrule

endmodule