Correct type checking of static calls to non static operations