what kind of program construct has choices with certain branches of code executed under certain conditions?