WyCS: fixed bug relating to pretty printing of AND operations.