Modified statement Type checker.