Finished branching strategies, added diagrams