Fix memdep's code for reasoning about dependences between two calls. A Ref