Checking protocol instantiation