WYCS: added another test case which fails.
Working on an invalid test.
WYCS: bug fixes for an errant rule.
WYCS: hmmm
WYCS: stuck
WYCS: Jeepers, this is not even close.
WYCS: added yet another test case.
WYCS: I give up for now.