notnull
already disposed
optimisation
notnull
support indicators with no-op cancel() method
ContractInferenceFromSourceTest: remove red class reference from test data