Continued debugging of specialization
Still debugging.  All 22 Detalion unit tests pass when lifting is disabled.  When enabled, some cases fail.