Checking Lem-generated file