return bodyToTree(patNode.and);
return bodyToTree(node.and);
  	protected Tree defaultBody(PatternNode patNode, Tree otherwise) {   		while (patNode != null) {   			PatternNode node = patNode;  			while ((node = node.or) != null)     			switch (node) { 					case DefaultPat():        				return bodyToTree(patNode.and);         		}         	patNode = patNode.next();      	}      	return otherwise;    }