change method names from past tense
ensure that the map of a code's direct labels to aliases is bijective