Predicate DefinitionTracking::getADefinition

Gets a definition for ‘use’. This exists primarily for testing use getPreferredDefinition() instead.

Definition getADefinition(Expr use)