dzn 2.12: internal-error when function is not declared.

For this model:

the "dzn parse" command generates an internal-error:

internal error: /home/paul/bug.dzn: goops-error: (#f "No applicable method for ~S in call ~S" (#< .name (40)> (.name #f)) ())

Note that somehow the argument of f, in the case "false" but could be anything, is essential for triggering the error.

Edited Apr 21, 2021 by Rutger van Beusekom