Stubs/MinimalStubsFromSource.ql