add show case for class base.Preconditions