ITSArsenicTests-Quick-ETV-Verification-Statements