Extract *nogood* predicate.
Extract *nogood* predicate.

massimo-nocentini/competitive-programming,massimo-nocentini/competitive-programming,massimo-nocentini/competitive-programming,massimo-nocentini/competitive-programming,massimo-nocentini/competitive-programming