branching works for simple c4 example