Upgrade method AFD/minimizer and AFD/areEquivalent and fixed some bugs