semantic: Ensure rewritten function parameters are resolved.