let check arrays log w = 
     let timeout = Wp_parameters.Timeout.get () in
    let stdout = Buffer.create 80 in
    let goal = Why.goal (if arrays then AltErgo92 else AltErgo91) w in
    let args = if arrays then [| "-type-only";"-arrays" ; goal |] else [| goal |] in
    Log.command log "alt-ergo" args ;
    Task.command ~timeout ~stdout "alt-ergo" args
    >>? Log.output ~echo:true log stdout
    >>= fun s ->
      if (s = 0) then Task.return Valid
      else Task.return Invalid