segmentation fault for program with floats and division

[LukasSpukas]

I have encountered a segmentation fault in the MiniZincIDE while trying to convert a model description written in the product configuration language COOM.
SCIP and HiGHS both give this fault when I try running the program.
MiniZinc error: Memory violation detected (segmentation fault). This is a bug. Please file a bug report using the MiniZinc bug tracker. Process finished with non-zero exit code 6.

I think the other solvers don't suppert all the features needed for this problem.
My MiniZinc representation is this:

type SundayBike = record (
  float: reach,
  float: stack,
  float: seatTubeAngle,
  float: effectiveTopTubeLength,
  TopTubeBag: topTubeBag
);

enum TopTubeBag = {short, middle, long};
array[TopTubeBag] of int: topTubeBag_length = {550, 600, 650};

var SundayBike: sundayBike;

constraint sundayBike.reach == 470.0;
constraint sundayBike.stack == 600.0;
constraint sundayBike.seatTubeAngle == 0.0174533;
constraint sundayBike.effectiveTopTubeLength == sundayBike.reach + (sundayBike.stack / tan(sundayBike.seatTubeAngle));

constraint topTubeBag_length[sundayBike.topTubeBag] + 30 < sundayBike.effectiveTopTubeLength;

[Dekker1]

The problem seems to occur in output processing. The instance is still linear, but a float_times is moved to the output model, where no definition appears to be present.

[Dekker1]

I've resolved the issue that caused the segfault, but currently the instance still doesn't solve because the instance remains quadratic in the compiler. This seems to be caused by the tan function not using the par function. We will further investigate whether we can resolve this as well.