let wp_compute =
  let module OLS = Datatype.List(Datatype.Stringin
  let module OKF = Datatype.Option(Kernel_functionin
  let module OP = Datatype.Option(Propertyin
  Dynamic.register ~plugin:"Wp" "wp_compute"
    (Datatype.func3 OKF.ty OLS.ty OP.ty Datatype.unit)
    ~journalize:false (*LC: Because of Property is not journalizable. *)
    wp_compute