[ehsanu1]

You seem to be misunderstanding. Read your parent's last line again. "Empty space" is indistinguishable from encrypted data. On the hard disk, everything will just look like randomized bits, empty space and data alike. There is no way to write the program you propose without the encryption key(s). So there's no way to tell, unless you have all the keys.

[tomflack]

praptak's reply above yours explained exactly what I needed explained. The encrypted data will just be written over.