let wp_unreachable = 
  Emitter.create
    "Unreachable Annotations"
    ~correctness:[] (* TBC *)
    ~tuning:[]