Proof Tree Drawer for CFWAE