more things in resolving_lts_control and a label to a definition