Correction of a small bug

Correction of a bug that prevented APTE to return the proper result with the unfolding strategy.