cleaned up generating preds and succs