Add trivial support for the invariance intrinsics to memdep. This logic is