double punishment meaning - Legal definition