check

check function used in the HiBON package

alias check = Check!(ToolsException)