fix a bug.
add output to WCNF.