Fix bug in andersen's related to test_and_set.