Using scc.pl from  Markus Triska, published in http://www.logic.at/prolog/scc.pl, to avoid weird dependency to clpfd.pl