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