Add support for nondeterministic function arguments