Visitors and supporting classes for analyzing the defs to determine the appropriate strategy for runtime execution.