APTE/APTE — pull request #5 by VincentCheval (2014-01-10 14:42:00+00:00)
Title: Correction of a small bug

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