bug correction: definition of isucc