Validate while test cases.
Allow for more complex declarations and extracted out from declarative_statement to be used individually in for loops.