Add state_pred
Initialize libcds in rules_tester
Add state pred