Fix resolution bugs - #26

Fix resolution bugs#26

golsch wants to merge 5 commits into

2023.06.xMyCoRe-Org/mir-alias-plugin:2023.06.xfrom

fix_resolution_bugsMyCoRe-Org/mir-alias-plugin:fix_resolution_bugsCopy head branch name to clipboard