barvinok_count: clean up memory after simplifying constraints