Why create a copy of the vector ? Should it be `const vector<Expr*>& getViolations() const` ?