sbool dm_hasPreviousBounds() {
  ret dm_current_mandatory()._hasPreviousBounds;
}