Tree renderer no longer inlines NOT nodes.