Statements/UseOfExit.ql