Invokes TypeChecking followed by DoResetHeaders. More...
Invokes TypeChecking followed by DoResetHeaders.