changing code to improve state coverage results with scova