Sofic constant-to-one extensions of subshifts of finite type

Provided a constant-to-one extension of a subshift of finite type is sofic and transitive, then it is also of finite type.