pub fn logical_assignments() -> impl Fold + VisitMut