GroupSumCond should be nicer to use, shouldn't need manually entering the U/C markers into gen/GEN.
possibly use a special value from the checker which is regarded as "correct negative answer"? wrong answer can still be 0, correct or partial positive answer can still be (0, 1].