Demonstrating File() constructor and generating Provenance.