Interpreter: execStmt SCase