[AMSC] naive nogood generation