#10: Include types in signatures of invoked methods, when determining references types