Avoid getting stuck at builtin functions with uninstantiated args during test generation