There are three kinds of Structures/Expressions/Statements in a computer program; Assignment Statements, Selection Structures and loops. In Formal Methods we studied a technique similar to Selection Statements. Discuss about that kind of structure and also state some differences of it from the ordinary Selection statements.Read the question carefully and then give relative answer.