For MARS, I left it as an assert because the front end needs to find these errors before it gets to the back end. I'll implement your other suggestion.