BasicBlockDiscovery.{cpp,h}