added specs for ErrorMessageSet#push