let
havoc_index : (
D
.array
->
Formula
.integer
D
.
F
.term
->
D
.array) =
D
.e_app2
"havoc_index"