Segfault when searching on paramater and concatenating search annotations

[CervEdin]

Related to this
I tried something like this

par int: x = 1;
var 0..: y;

function array[int] of ann: dummy_search() =
[ int_search([x], input_order, indomain_min) ];

solve :: seq_search(
  dummy_search() ++
  [ int_search([y], input_order, indomain_min) ]
) satisfy;

which results in a segfault.

Only seems to happen if x is a par, because this works as expected

var 0..: x;
var 0..: y;

function array[int] of ann: dummy_search() =
[ int_search([x], input_order, indomain_min) ];

solve :: seq_search(
  dummy_search() ++
  [ int_search([y], input_order, indomain_min) ]
) satisfy;

[CervEdin]

similarly, this was not an issue

par 0..: x = 1;
var 0..: y;

solve :: seq_search(
  [ int_search([x], input_order, indomain_min) ] ++
  [ int_search([y], input_order, indomain_min) ]
) satisfy;