fix: only one check of the new criterion per dep. cst + debugging code