Resolver: Do not use assert() to notify user input error.