Add assertions for the files