Add test coverage for Restricted class with no input file

This test case isn't particularly important, but it's a good start for testing
actual functionality of this class.