Add toplevel_aliases as annotation parameter.