Handle non returning intrinsics#736

adpaco merged 5 commits into

model-checking:mainmodel-checking/kani:mainfrom

adpaco:non-ret_intrinsicsadpaco/rmc:non-ret_intrinsicsCopy head branch name to clipboard