andes dependencies checking algorithm