Logic_Constructor branch
labels