shift assertion functions into error reporter