Take branch into account when determining state