Sketching the type checking of method calls