Extend a + b == a + c → b == c to reference modes
Extend a + b == a + c → b == c to reference modes

MatzeB/libfirm,MatzeB/libfirm,MatzeB/libfirm,MatzeB/libfirm,libfirm/libfirm,libfirm/libfirm,libfirm/libfirm,MatzeB/libfirm,libfirm/libfirm,libfirm/libfirm,MatzeB/libfirm,MatzeB/libfirm