Adding control structures to SquareRoot.