Optional
An explicit file system, mapping file names to file content
Name of contract source file - only used in error messages
An explicit file system, mapping file names to file content