succ_states working correctly now, with basic halp test