Adding constructor for internal ViolationMessage
Fixing bug for intGreaterThan message