Error on empty array declaration

[dCastanho]

Upon feeding this file (https://github.com/backtracking/ocamlgraph/blob/master/src/lib/heap.ml) to cameleer I get the error message anomaly: "Assert_failure src/expression.ml:771:12 within Why3. I believe I've narrowed it down to the declaration of the empty array, data = [||], in the create function.