debugged undefined elements in array_of_kani for cap