Add option for aggressive model filtering in conjecture generator (enumerate ground terms).