xref: /barrelfish-master/usr/eclipseclp/icparc_solvers/ic_probing_tests.pl