added possibility that if_file_exists for given $file
sets it as SourceFile rather than Body