add "missing" labels in assume clauses (no changes in po)