Removed debugging output.
WYCS: added another test case.
Fixed test case ;)
WYCS: trying to figure out why ListAppend generates so many disjunctions.