Modification to StateCondition encoding/decoding.