let check logs w =
    let timeout = Wp_parameters.Timeout.get () in
    let stdout = Buffer.create 80 in
    let goal = PO.make L_altergo w in
    Logs.add_file logs goal ;
    let args = [| "-type-only"; goal |] in
    Logs.command logs "alt-ergo" args ;
    Task.command ~timeout ~stdout "alt-ergo" args
    >>? Logs.output logs stdout
    >>= fun s ->
      if (s = 0) then Task.return Valid
      else Task.return Invalid