Add new file for use in model verification.