Copies the source file to the destination file. Returns true if the file was successfully copied, otherwise false.
function copy input String source; input String destination; output Boolean success; end copy;