WP hypotheses now have a location

tests/bugs/oracle/logiccast.res.oracle

@@ -8,11 +8,13 @@ Now output intermediate result
 [wp] [Alt-Ergo] Goal typed_Z1mPv_assert : Unsuccess
 [wp] Proved goals:    0 / 2
   Alt-Ergo:        0  (unsuccess: 2)
-[wp] Warning: Memory model hypotheses for function '_Z1mPv':
+[wp] tests/bugs/logiccast.cpp:3: Warning: 
+  Memory model hypotheses for function '_Z1mPv':
   /*@ behavior typed:
         requires \separated(r + (..), &_Z4base); */
   void _Z1mPv(void *r);
-[wp] Warning: Memory model hypotheses for function '_Z1nPc':
+[wp] tests/bugs/logiccast.cpp:6: Warning: 
+  Memory model hypotheses for function '_Z1nPc':
   /*@ behavior typed:
         requires \separated(r + (..), &_Z4base); */
   void _Z1nPc(char *r);