2.8.0: Issues with compiling counting constraints

[informarte]

Consider this problem:

include "count_eq.mzn";

int: N = 3;

array [1..N] of var bool: x;
var 0..N: c;

constraint c > 0;
constraint c = count(x, false);

solve satisfy;

MiniZinc 2.7.6 solves it but MiniZinc 2.8.0 reports this compilation error:

Error: evaluation error: arithmetic operation on infinite value
/home/informarte/Workspaces/yuck/count_fn_bool_test.mzn:9.12-30
  in binary '=' operator expression
  in call 'count'
/home/informarte/Software/lib/MiniZincIDE-2.8.0-bundle-linux-x86_64/share/minizinc/std/count_fn.mzn:6.68-81
  in call 'count_eq'
/home/informarte/Software/lib/MiniZincIDE-2.8.0-bundle-linux-x86_64/share/minizinc/std/count_eq.mzn:33.3-99
  in let expression
  in call 'count_eq'
/home/informarte/Software/lib/MiniZincIDE-2.8.0-bundle-linux-x86_64/share/minizinc/std/count_eq.mzn:15.74-18.47
  in let expression
/home/informarte/Software/lib/MiniZincIDE-2.8.0-bundle-linux-x86_64/share/minizinc/std/count_eq.mzn:17.5-55
  in variable declaration for 'def'
  in if-then-else expression

Next consider this variant of the first problem:

include "count_eq.mzn";

int: N = 3;

array [1..N] of var bool: x;
var bool: y;
var 0..N: c;

constraint c > 0;
constraint c = count(x, y);

solve satisfy;

MiniZinc 2.7.6 solves it but MiniZinc 2.8.0 crashes:

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