[RevEng][CS] Fuzzy topological sorting