The unrolling consider choice is done!
Keep the information in a VisitTree is very important!