Added set_rules and State.string_of in HotCARTA.
Tests for conflict-free.