/testsuite/bsc.interra/StmtFSM/whileInRepeat/