Fixed the problem of different branches operating on same worlds by modifying Tableautree::branch() to make copies of possible worlds and their connections.