StateModel: Don't hide final states