> find and diagnose typing errors prior to running any type checker
Should read
> find and diagnose typing errors prior to running any model checker