Function step_back_frontier 

fn step_back_frontier(frontier: &Antichain<Timestamp>) -> Antichain<Timestamp>

Step back the given frontier.

This method is saturating: If the frontier contains T::minimum() times, these are kept unchanged.