A simple calculator for learning branching