let
simplify = {
ext =
"sx"
;
why = [|
"--simplify"
|] ;
wdp = [| |] ;
}