deductions by tikz; straight and Takeuti-style branching