Fixed bug in specialization of 'if': If the condition is not definite, Then and Else must be made dynamic.
More debugging.  All 24 Detalion unit tests pass with no lifting.  With lifting, test #3 does not terminate.