Refactoring. Exception to report errors from reduction rules up to a single place to handle