LiftComplexRands While case missing