def reorder(bdd, order=None):
    """Apply Rudell's sifting algorithm to `bdd`.

    @param order: reorder to this specific order,
        if `None` then invoke group sifting
    @type order: `dict: str -> int` that maps
        variable names to levels
    """
