Syntax: https://docs.uppaal.org/language-reference/system-description/declarations/functions/ Nested declarations or recursive functions are not allowed. Function text is part of `declaration`s. Addresses #447