mocked definitions should return NO_DEFINITION for unknown identifiers (because Definitions does so...)