test_bug53.fzn:1:
  symbol error: `simpleann' undeclared
test_bug53.fzn:1:
  symbol error: `simpleann' undeclared
test_bug53.fzn:1:
  symbol error: `simpleann' undeclared
test_bug53.fzn:1:
  symbol error: `simpleann' undeclared