added missing cases to stuckterm, completed proof for progress