Fixed names in ErrorHandler and enumeration of errors and removed explicit declaration of true or false in a CHECK