Added files for checking the spec consistency