/testsuite/bsc.interra/StmtFSM/whileWithinForLoop/