Integrated the branch value to the tableaux state