Function varisat::prop::assignment::restart

pub fn restart(
    ctx: Const<AssumptionsP, Mut<VsidsP, Mut<TrailP, Mut<AssignmentP, Ref<Context>>>>>
)

Undo all decisions.