WYCS: continuing to add support for negation normal form