Ensure Z3 is always a File() rather than sometimes a File() and sometimes a Node() that hasn't yet been resolved to a file.
Ensure Z3 is always a File() rather than sometimes a File() and sometimes a Node() that hasn't yet been resolved to a file.

project-everest/vale,briangmilnes/vale,briangmilnes/vale,project-everest/vale,project-everest/vale,briangmilnes/vale,project-everest/vale,briangmilnes/vale