used quality clues in imcomplete EQs.
output quality-alone EQs from non-binarystatestatements.