De-abstractify Program