Segmentation fault when an array of records used as a parameter

[ericsson49]

Using MiniZinc Version 2.7.6 905175540, trying to compile the following code

type State = record(0..1: e);

predicate trans_closure(array[0..1] of var State: sts) =
  (sts[0].e + 1 == sts[1].e)
  ;

array[0..1] of var State: sts;
constraint trans_closure(sts);

results in

MiniZinc error: Memory violation detected (segmentation fault).
This is a bug. Please file a bug report using the MiniZinc bug tracker.

Simpler versions, like inlined predicate or predicate w/o array of records work okay.
So, the problem looks like caused by using an array of records a a predicate parameter.

[ericsson49]

Update.
The following modification works fine too (record(0..1: e) replaced with record(int: e))

type State = record(int: e);

predicate trans_closure(array[0..1] of var State: sts) =
  (sts[0].e + 1 == sts[1].e)
  ;

array[0..1] of var State: sts;
constraint trans_closure(sts);