Issue #5: Forcing unique variable names inside a VAST FunctionDeclaration