CIF to UPPAAL: support internal user-defined functions
Syntax: https://docs.uppaal.org/language-reference/system-description/declarations/functions/
Nested declarations or recursive functions are not allowed.
Function text is part of declarations.
Addresses #447
Edited by Albert Hofkamp