The name ScoreState seems to confuse a few people. As Hao pointed out, they are actually constraints. Any reasons not to rename them to that? It would be a relatively easy shell script (and user code could be updated via sed).