Update raw_eq documentation and tests#1091

adpaco merged 6 commits into

model-checking:mainmodel-checking/kani:mainfrom

adpaco:raw_eq-updateadpaco/rmc:raw_eq-updateCopy head branch name to clipboard