Merge pull request #15373 from eeckstein/fix-bca-4.1

BasicCalleeAnalysis: fix a problem with witness method visibility.