Use intrinsic_name to get the intrinsic name#3114

adpaco-aws merged 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom

adpaco-aws:intrinsic-nameadpaco-aws/rmc:intrinsic-nameCopy head branch name to clipboard