fleshed out and test MakeInputFile.valid. all tests pass