Function varisat::unit_simplify::resurrect_unit

pub fn resurrect_unit<'a>(
    ctx: Mut<TrailP, Mut<ImplGraphP, Mut<AssignmentP, Ref<Context<'a>>>>>, 
    lit: Lit
)

Put a removed unit back onto the trail.