Globalizer's syntax restrictions too severe

[matsc-at-sics-se]

In addition to Globalizer's documented syntax restrictions, it doesn't seem to like functions:

$ cat hw.mzn
int: y(int: x) = x+1;
$ minizinc --solver org.minizinc.globalizer hw.mzn
% Globalizer: Starting initial pass (find viewpoints). Skip this pass with --no-initial-pass.
minizinc-globalizer: "input" (line 1, column 7):
unexpected "(" at position 1:7..1:8
expecting semicolon or end of input
CallStack (from HasCallStack):
  error, called at src/Rewrite.hs:187:24 in main:Rewrite

These restrictions severely limit its usefulness.