Add a test case for File.IO

This is just a sanity check to see if our analysis is sound. This test
case is so simple and it confirms that even the simplest of file accesses
creates problems for parallelization.

See #85.