replaced annotated_or_inferred_highLevelMpTermName with
annotatedHigherLevelMpTermName