Restored the "overrides" flag in typechecking rule for LocalMethodCall