The parser should eliminate the possibility for eval to go into cases for unsupported features. However, if there are bugs in the parser, then eval might be running cases that are not thought about w.r.t to gradualness. It is possible, then that unknown and incorrect behavior might occur during verification. Commenting out such cases and relying on a default case to throw a FeatureUnsupported exception would be helpful for debugging issues in the parser or elsewhere.
The parser should eliminate the possibility for eval to go into cases for unsupported features. However, if there are bugs in the parser, then eval might be running cases that are not thought about w.r.t to gradualness. It is possible, then that unknown and incorrect behavior might occur during verification. Commenting out such cases and relying on a default case to throw a FeatureUnsupported exception would be helpful for debugging issues in the parser or elsewhere.