Wyoming SF 178: Fixing reading failure | StateThat