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